A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

Oliveira, Marcel Vinicius Medeiros, Júnior, Ivan Soares de Medeiros and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2013) A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. In: Hierons, Robert M., Merayo, Mercedes G. and Bravetti, Mario, (eds.) Software Engineering and Formal Methods:11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science. Springer, pp. 46-60.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Hierons, Robert M.
  • Merayo, Mercedes G.
  • Bravetti, Mario
Dates:
  • Published: 2013
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 06 Jul 2016 08:33
Last Modified: 20 Sep 2025 02:34
Published Version: https://doi.org/10.1007/978-3-642-40561-7_4
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-642-40561-7_4
Open Archives Initiative ID (OAI ID):

Download

Submitted Version

Filename: a_verified_protocol.pdf

Description: a-verified-protocol

CLICK TO DOWNLOAD [thumbnail of a-verified-protocol]

Export

Statistics


CORE (COnnecting REpositories)