The AltaRica formalism for describing concurrent systems

Fundamenta Informaticae

Volumn 40, Issue 2-3, 1999, Pages 109-124

  Arnold, André ^b   Point, Gérald ^b   Griffault, Alain ^b   Rauzy, Antoine ^a  

^a UNIVERSITÉ BORDEAUX 1   (France)

^b NONE

Author keywords

AltaRica; Hierarchical systems; Interface coordination; Safety critical systems; Synchronization; Transition systems

Indexed keywords

EID: 0040368693     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-402302     Document Type: Article

References (14)

1. A. Arnold, D. Bégay, and P. Crubillé. Construction and analysis of transition systems with MEC. World Scientific, 1994.
2. A. Arnold and M. Nivat. Comportements de processus. In Les mathématiques de l'Informatique, pages 257-266. Colloque AFCET, 1982.
3. A. Arnold. Finite transition systems. Prentice Hall, 1994.
4. S. Brlek and A. Rauzy. Synchronization of constrained transition systems. In H. Hong, editor, Proc, First Int. Symp. on Parallel Symbolic Computation. World Scientific, 1994.
5. L. Fribourg and M. Veloso Peixoto. Automates concurrents contraintes. Technique et Science Informatiques, 13:837-866,1994.
6. A. Griffault, S. Lajeunesse, G. Point, A. Rauzy, J.-P. Signoret, and P. Thomas. The AltaRica language. In Proc. European Safety and Reliability Assoc. Conf. (ESREL'98), 1998.
7. M. Hennessy and R. Milner. Algebraic laws for non-determinism and concurrency. Journal of the ACM, 32:137-161, 1985.
8. C. A. R. Hoare. Communicating sequential processes. Comm. of the ACM, 21:666-677, 1978.
9. R. Janicki and P. E. Lauer. Specification and analysis of concurrent systems: The COSY approach. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992.
10. N. G. Leveson. Safeware: System safety and computers. Addison-Wesley, 1995.
11. P. E. Lauer, P. R. Torrigiani, and M. W. Shields. Cosy, a system specification language based on paths and processes. Acta Informatica, 2:109-158, 1979.
12. R. Milner. Processes: A mathematical model of computing agents. In H. Rose and J. C. Shepherdson, editors , Proc. Logic Colloquium, pages 157-173, 1973.
13. D. L. Parnas. Using mathematical models in the inspection of critical software. In M. G. Hinchey and J. P. Bowen, editors, Applications of formal methods, pages 17-31. Prentice Hall, 1995.
14. C. A. Petri. Fundamentals of a theory of asynchronous information flow. In Proc. IFIP Congress, 1962.