Timed process algebras with urgent interactions and a unique powerful binary operator-Reference-Cited by-同舟云学术

Timed process algebras with urgent interactions and a unique powerful binary operator

Published:1992 Issue: Volume: Page:124-148
ISSN:0302-9743
Container-title:Real-Time: Theory in Practice
language:
Short-container-title:

Author:

Bolognesi Tommaso,Lucidi Ferdinando

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0031990

Reference29 articles.

1. E. Brinksma, “On the Design of Extended LOTOS“, Ph.D. Thesis, University of Twente, 1988.

2. E. Brinksma (ed.) — ISO — Information Processing Systems — Open Systems Interconnection — “LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour”, IS 8807, 1989.

3. T. Bolognesi, E. Brinksma, “Introduction to the ISO Specification Language LOTOS”, Computer Networks and ISDN Systems, Vol. 14, No 1, 1987.

4. J.C.M. Baeten, J.A. Bergstra, ‘Real Time Process Algebra', Technical Report, Centre for Mathematics and Computer Science, Amsterdam, 1989.

5. T. Bolognesi, P. Cremonese, “The Weakness of Some Timed Models for Concurrent Systems”, Technical Report CNUCE C89-29, CNUCE-C.N.R., Pisa, October 1989.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Algebraic Formalisms;Modeling Time in Computing;2012

2. Foundations of a Compositional Interchange Format for Hybrid Systems;Hybrid Systems: Computation and Control;2007

3. Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation;The Journal of Logic and Algebraic Programming;2004-07

4. Timed automata with urgent transitions;Acta Informatica;2004-03-01

5. Testing Protocol Robustness;Innovative Internet Community Systems;2003