Author:
Alagar V. S.,Periyasamy K.
Reference36 articles.
1. Abrial JR (1996) The b-book—assigning programs to meanings. Cambridge University Press, Cambridge
2. Alexander M, Gardner W (eds) (2008) Process algebra for parallel and distributed processing. CRC Press, Boca Raton
3. Texts in theoretical computer science. An EATCS series;Y Bertot,2004
4. Breen M (2005) Statestep specification technique: user guide, Version 2.0/2005-9-30,
http://statestep.com
5. ChaoChen Z, Hoare T, Ravn AP (1991) A calculus of durations. Inf Process Lett 40(5):269–276