[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.

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
SCCS Synchronous Calculus of Communicating Systems [MILN1989]
SOS Structural Operational Semantics [ACFV2005], [PLOT1981]
TCCS a Temporal Calculus of Communicating Systems
VM Virtual Machine