H. Garavel and M. Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Including General Equilibrium Theory into FDTs: A First Approach - Nunez (Correct)
....a binary parallel operator. If we would be interested in allowing the (usual) synchronization between processes, a binary parallel operator would not be adequate; we would consider instead a more general parallel operator where synchronization can take place among more than two processes (see e.g. [Bol90, DS95, GS99]) Regarding how processes are de ned we would like to add two comments. First, as we said in the introduction of the paper, we do not give any criteria on how resources are initially distributed. We may assume that there exists a mediator assigning the resources among agents. Second, from now ....
H. Garavel and M. Sighireanu. A graphical parallel composition operator for process algebras. In Formal Description Techniques for Distributed Systems and Communication Protocols (XII), and Protocol Speci cation, Testing, and Veri cation (XIX), pages 185-202. Kluwer Academic Publishers, 1999.
Specification of Mixed Systems in Korrigan with the.. - Choppy, Poizat, Royer (2001) (Correct)
....issues. There are also some other di#erence, mainly at the communication level, but the major one is that, to the contrary of UML RT, Korrigan provides a uniform way to specify both datatypes and behaviours. Our notation for the glue between communicating components may be also related to [10]. The main di#erences are that our glue is more expressive than LOTOS synchronizations, and that we have a more structured organization of communication patterns. We are now working on validation and verification procedures for our Korrigan specifications. Due to the use of STS, i.e. Symbolic ....
Hubert Garavel and Mihaela Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), 1999.
Formal Specification of Mixed Components with Korrigan - Choppy, Poizat, al. (2001) (Correct)
No context found.
H. Garavel and M. Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), 1999.
Specif --- - Research Report September (Correct)
No context found.
Hubert Garavel and Mihaela Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), ####.
Formal Specification of Mixed Components with Korrigan - Choppy, Poizat, Royer (2001) (Correct)
No context found.
H. Garavel and M. Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), 1999.
KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue - Poizat, Royer (2003) (Correct)
No context found.
Hubert Garavel and Mihaela Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), ####.
Pamr: A Process Algebra For The Management Of Resources In.. - Nunez, Rodriguez (2001) (2 citations) (Correct)
No context found.
H. Garavel and M. Sighireanu. A graphical parallel composition operator for process algebras. In Formal Description Techniques for Distributed Systems and Communication Protocols (XII), and Protocol Specification, Testing, and Verification (XIX), pages 185-- 202. Kluwer Academic Publishers, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC