Author:
Sadani Tarek,Boyer Marc,de Saqui-Sannes Pierre,Courtiat Jean-Pierre
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. ISO - Information processing systems - Open Systems Interconnection: LOTOS - a formal description technique based on the temporal ordering of observational behaviour. ISO International Standard 8807:1989, ISO (1989)
2. Courtiat, J.P., Santos, C., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications 23(12) (2000)
3. Berthomieu, B., Ribet, P., Vernadat, F.: The TINA tool: Construction of abstract state space for Petri nets and time Petri nets. Int. Journal of Production Research 42(14) (2004)
4. Milner, R.M.: Communications and Concurrency. Prentice Hall, Englewood Cliffs (1989)
5. Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)