Вы здесь

Главная

Humboldt Univ. Berlin

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

A note on an operation on concurrent systems
A parallel approach to lexicon design
Bakery Algorithms
Concurrency, Specification, and Programming - CS&P 2004: Vol. 1: Petri Nets and Automata: Proc./Workshop. Caputh, September 24-26, 2004
Concurrency, Specification, and Programming - CS&P 2004: Vol. 2: Specification and Verification: Proc./Workshop. Caputh, September 24-26, 2004
Concurrency, Specification, and Programming - CS&P 2004: Vol.3: Multiagent Systems and Applications: Proc./Workshop. Caputh, September 24-26, 2004
Concurrency Specification and Programming: Proc./CS&P'95 Workshop. Warsaw, Poland, October 1995
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
Humboldt-Universitat zu Berlin. Fachbereich Informatik
Knowledge-Based Protocols in a Multi-Agent System: a case study
Model Checking: Knowledge, Actions and Fixpoints
Modeling and verification of SDL specified distributed systems using high-level Petri nets
Proceedings of the CS@P 93 Workshop
Programming an Agreement Protocol with the help of PrT-Nets
Timed Network Semantics for Communicating Processes
Universal Petri Nets and Process Rewrite Systems Extended With Procedures
Workshop Concurrency, Specification & Programming, Berlin, September 25-27, 1996