An analytical and experimental comparison of CSP extensions and tools

An analytical and experimental comparison of CSP extensions and tools

Communicating Sequential Processes (CSP) has been widely applied to modeling and analyzing concurrent systems. There have been considerable efforts on enhancing CSP by taking data and other system aspects into account. For instance, CSP M combines CSP with a functional programming language whereas C...

Full description

Saved in:
Bibliographic Details
Main Authors: SHI, Ling, LIU, Yang, SUN, Jun, DONG, Jin Song, CARVALHO, Gustavo
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2012
Subjects:
Model Check
Shared Variable
Operational Semantic
Parallel Composition
Label Transition System
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5023
https://ink.library.smu.edu.sg/context/sis_research/article/6026/viewcontent/an_analytical.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5023
https://ink.library.smu.edu.sg/context/sis_research/article/6026/viewcontent/an_analytical.pdf

Similar Items