论文信息 - The Syntax and Semantics of FIACRE

The Syntax and Semantics of FIACRE

∗ LAAS-CNRS Université de Toulouse 7, avenue du Colonel Roche, 31077 Toulouse Cedex, France E-mail: FirstName.LastName@laas.fr + IRIT Université Paul Sabatier 118 Route de Narbonne, 31062 Toulouse Cedex 9, France E-mail: FirstName.LastName@irit.fr † INRIA Centre de Recherche de Grenoble Rhône-Alpes / équipe-projet VASY 655, avenue de l’Europe, 38 334 Saint Ismier Cedex, France E-mail: FirstName.LastName@inria.fr

[1] Mihaela Sighireanu. Contribution à la définition et à l'implémentation du langage "Extended Lotos" , 1999 .

[2] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[3] Mamoun Filali,et al. Towards the verification of real-time systems in avionics: the Cotre approach , 2003, FMICS.

[4] Mihaela Sighireanu,et al. A Graphical Parallel Composition Operator for Process Algebras , 1999, FORTE.

[5] Radu Mateescu,et al. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes , 2007, CAV.

[6] Frédéric Lang,et al. NTIF: A General Symbolic Model for Communicating Sequential Processes with Data , 2002, FORTE.

[7] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[8] Hubert Garavel. On the introduction of gate typing in E-LOTOS , 1995, PSTV.

[9] F. Vernadat,et al. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .