Вы здесь

Главная

Proceedings of the CS@P 93 Workshop

Связанные издания:

An Algebra of Time-Consuming Computations
A note on an operation on concurrent systems
A parallel approach to lexicon design
Bakery Algorithms
Dynamically Stubborn Sets and the Sleep Set Methhod
Expressivity of Timed Petri Nets: Classical versus Time-Critical Viewpoint
Further Remarks on the Relationship between C-E Structures and Petri Nets
Generalized Markovian Cause-Effect Structures
Knowledge-Based Protocols in a Multi-Agent System: a case study
Programming an Agreement Protocol with the help of PrT-Nets
Timed Network Semantics for Communicating Processes