References

[ACFV2005]Luca Aceto, Wan Fokkink, Chris Verhoef; Structural Operational Semantics, Vrije Universiteit Amsterdam.
[CHOM1957]Noam Chomsky; Syntactics Structures; 1957, Mouton de Gruyter.
[CODV2001]F. Corradini, M. Di Berardini, W. Vogler; PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations; 2001, Proceedings of the Second Asia-Pacific Conference on Quality Software.
[GASP1977]Ida Cattaneo Gasparini; Strutture algebriche, operatori lineari; 1977, Libreria Eredi Virgilio Veschi.
[HENN2008]Matthew Hennessy; Reactive Systems: How to use the Concurrency Workbench; 2008, Trinity College Dublin, The University of Dublin.
[MILN1989]Robin Milner; Communication and concurrency; 1989, Prentice Hall.
[PLOT1981]G. D. Plotkin; A structural Approach to Operational Semantics, University of Aarhus, Denmark.
[SANR2011]Davide Sangiorgi, Jan Rutten; Advanced Topics in Bisimulation and Coinduction; 2011, Cambridge University Press.
[SAKH2019a]Sakharov, Alex: regular expressions from MathWorld–A Wolfram Web Resource, created by Eric W. Weisstein.
[SAKH2019b]Sakharov, Alex: Formal Language from MathWorld–A Wolfram Web Resource, created by Eric W. Weisstein.
[SLKU1995]Kenneth Slonneger, Barry L. Kurtz; Formal Syntax and Semantics of Programming Languages - A Laboratory Based Approach; 1995, Addison-Wesley Publishing Company.
[WIKI2019a]Wikipedia deterministic finite automaton.
[WIKI2019b]Wikipedia nondeterministic finite automaton.
[WIKI2019c]Wikipedia Semantics (computer science).
[WIKI2019d]Wikipedia Axiomatic semantics.
[WIKI2019e]Wikipedia Denotational_semantics.
[WIKI2019f]Wikipedia Operational_semantics.
[WIKI2019g]Wikipedia Structural operational semantics link.
[WIKI2019h]Wikipedia Natural semantics.
[EDIS1998]Tom Verhoeff; Encyclopaedia of Delay-Insensitive Systems: RGDA Arbiter; nov. 1998.
[SABL1994]

Ken Stevens, John Aldwinckle, Graham Birtwistle, Ying Liu; Designing parallel specifications in CCS;

Canadian Conference on Electrical and Computer Engineering, Vol II pp 983-986, September 1993.
[LABS1993]Ying Liu, John Aldwinckle, Graham Birtwistle, and Ken Stevens. Testing the Consequences of Specifications in the Modal-mu Calculus; Canadian Conference on Electrical and Computer Engineering Vol II pp 987-990, September 1993.

Abbreviations and terms

Term Note
ACP Algebra of communicating Processes
\(Alph\) Alphabet
BC Buffer Controller
BNF Backus-Naur Form [SLKU1995] pag.3
BPMN Business Process Model and Notation
CCS a Calculus of Communicating Systems
CSP Communicating Sequential Processes
CWB edinburgh Concurrency WorkBench
CWB-NC Concurrency WorkBench of the New Century
dhcp Dynamic Host Configuration Protocol
eof End Of Life
FIFO First In First Out
MS Microsoft
LTE Labeled Transition System
LOTOS Language Of Temporal Ordering Specification
R.E. Regular Expression
RGDA Request Grant Done Acknowledge arbiter [EDIS1998]
SCCS Synchronous Calculus of Communicating Systems [MILN1989]
SOS Structural Operational Semantics [ACFV2005], [PLOT1981]
TCCS a Temporal Calculus of Communicating Systems
VM Virtual Machine