Algebraic specification of synchronisation and errors: a telephonic example
Authors:
B Biebow;J Hagelstein
Affiliations:
-;-
Venue:
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)