Conversation protocols: a formalism for specification and verification of reactive electronic services (Q3559795)
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: Conversation protocols: a formalism for specification and verification of reactive electronic services |
scientific article; zbMATH DE number 5705615
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Conversation protocols: a formalism for specification and verification of reactive electronic services |
scientific article; zbMATH DE number 5705615 |
Statements
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (English)
0 references
7 May 2010
0 references
0.9979254007339478
0 references
0.7482408285140991
0 references
0.7354769110679626
0 references
0.7187777161598206
0 references
0.7164437770843506
0 references
