Synthesis of protocol entities specifications from service specifications in a Petri net model with registers

In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events which are described in a service specification of the distribu...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of 15th International Conference on Distributed Computing Systems s. 510 - 517
Hlavní autoři:	Yamaguchi, H., Okano, K., Higashino, T., Taniguchi, K.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 1995
Témata:	Automatic control Control system synthesis Control systems Protocols
ISBN:	9780818670251, 0818670258
ISSN:	1063-6927
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!