Sciweavers

246 search results - page 1 / 50
» Communicating by compatibility
Sort
View
FSEN
2007
Springer
14 years 1 months ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
JLP
2008
123views more  JLP 2008»
13 years 7 months ago
Communicating by compatibility
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
Davide Prandi, Corrado Priami, Paola Quaglia