.. meta::
   :language: it
   :description language=it: Appunti di Complex Systems Design - Riferimenti, Bibliografia, Abbreviazioni
   :description language=en: Notes on Complex Systems Design - References, Bibliography, Abbreviations
   :keywords: Complex Systems Design, references, bibliography, abbreviations
   :author: Luciano De Falco Alfano

.. index::references

.. _ref_referencs:


References
=============


.. commento .. index:: bibliografy

   .. _ref_bibliografy:
   
   Bibliography
   ---------------
              
.. [ACFV2005] Luca Aceto, Wan Fokkink, Chris Verhoef;
              `Structural Operational Semantics <https://www.cs.vu.nl/~wanf/pubs/sos.pdf>`_,
              Vrije Universiteit Amsterdam.
              
.. [CHOM1957] Noam Chomsky; 
              `Syntactics Structures <https://www.amazon.it/Syntactic-Structures-Noam-Chomsky/dp/1614278040/ref=sr_1_5?s=english-books&ie=UTF8&qid=1546621071&sr=1-5&keywords=chomsky>`_; 
              1957, Mouton de Gruyter.
              
.. [CODV2001] F. Corradini, M. Di Berardini, W. Vogler;
              `PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations <https://www.researchgate.net/publication/3940165_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 <https://www.scss.tcd.ie/Matthew.Hennessy/rsexternal/notes/HowTo.pdf>`_;
              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 <https://web.eecs.umich.edu/~weimerw/590/reading/plotkin81structural.pdf>`_,
              University of Aarhus, Denmark.

.. [SANR2011] Davide Sangiorgi, Jan Rutten;
              Advanced Topics in Bisimulation and Coinduction;
              2011, Cambridge University Press.
              
.. [SAKH2019a] `Sakharov, Alex <http://mathworld.wolfram.com/topics/Sakharov.html>`_: 
               `regular expressions <http://mathworld.wolfram.com/RegularExpression.html>`_
               from MathWorld--A Wolfram Web Resource, created by `Eric W. Weisstein <http://mathworld.wolfram.com/about/author.html>`_.
              
.. [SAKH2019b] `Sakharov, Alex <http://mathworld.wolfram.com/topics/Sakharov.html>`_: 
               `Formal Language <http://mathworld.wolfram.com/FormalLanguage.html>`_
               from MathWorld--A Wolfram Web Resource, created by `Eric W. Weisstein <http://mathworld.wolfram.com/about/author.html>`_.
              
.. [SLKU1995] Kenneth Slonneger, Barry L. Kurtz; 
              `Formal Syntax and Semantics of Programming Languages - A Laboratory Based Approach <https://www.amazon.it/Formal-Syntax-Semantics-Programming-Languages/dp/0201656973/ref=sr_1_1?s=english-books&ie=UTF8&qid=1546619822&sr=1-1&keywords=slonneger>`_; 
              1995, Addison-Wesley Publishing Company.
              
.. [WIKI2019a] Wikipedia `deterministic finite automaton <https://en.wikipedia.org/wiki/Deterministic_finite_automaton>`_.
             

.. [WIKI2019b] Wikipedia `nondeterministic finite automaton <https://en.wikipedia.org/wiki/Nondeterministic_finite_automaton>`_.

.. [WIKI2019c] Wikipedia `Semantics (computer science) <https://en.wikipedia.org/wiki/Semantics_(computer_science)>`_.

.. [WIKI2019d] Wikipedia `Axiomatic semantics <https://en.wikipedia.org/wiki/Axiomatic_semantics>`_.

.. [WIKI2019e] Wikipedia `Denotational_semantics <https://en.wikipedia.org/wiki/Denotational_semantics>`_.

.. [WIKI2019f] Wikipedia `Operational_semantics <https://en.wikipedia.org/wiki/Operational_semantics>`_.

.. [WIKI2019g] Wikipedia `Structural operational semantics link <https://en.wikipedia.org/wiki/Operational_semantics#Structural_operational_semantics>`_.

.. [WIKI2019h] Wikipedia `Natural semantics <https://en.wikipedia.org/wiki/Operational_semantics#Natural_semantics>`_.
              
.. [EDIS1998]  Tom Verhoeff;
               `Encyclopaedia of Delay-Insensitive Systems: RGDA Arbiter <http://edis.win.tue.nl/sys/rgda-arbiter/index.html>`_;
               nov. 1998.
               
.. [SABL1994]  Ken Stevens, John Aldwinckle, Graham Birtwistle, Ying Liu;
               `Designing parallel specifications in CCS <http://www.kdstevens.com/stevens/docs/stevens93.pdf>`_;
                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 <http://www.kdstevens.com/stevens/docs/liu93.pdf>`_;
               Canadian Conference on Electrical and Computer Engineering Vol II pp 987-990, September 1993.  

.. index:: abbreviations and terms

.. _ref_abbreviations_and_terms:

Abbreviations and terms
---------------------------
              
=================   ============================================================
 Term                Note
=================   ============================================================
ACP                  Algebra of communicating Processes
:math:`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
=================   ============================================================