A process algebra for interworkings. (Q2760256)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A process algebra for interworkings. |
scientific article; zbMATH DE number 1684411
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A process algebra for interworkings. |
scientific article; zbMATH DE number 1684411 |
Statements
2001
0 references
interworking language
0 references
operational semantics
0 references
A process algebra for interworkings. (English)
0 references
The authors developed a formal semantics for the interworking language, a graphical formalism for the communication behaviour of systems components. The semantics is defined in terms of process algebras and supports the analysis of collection of interworking diagrams and allow expressing the relation between diagrams. A number of process algebras with increasing complexity are defined and analysed. For each algebra analysed, its completeness with respect to an operational semantics is proven.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].
0 references
