Вы здесь

Главная

Workshop Concurrency, Specification & Programming

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

An Algebraic Characterization of Typability in ML with Subtyping
Features of Popular Provers
Implementing a CTL Model Checker
Modeling Actors with M-Nets
News about Verifying Probabilistic Nets
On State-Invariants of Timed Petri Nets
Petri Net Equivalences for Design of Concurrent Systems
Power Graphs - A Model of Concurrency
Process Algebra for Limited Parallelism
Representation of Medical Knowledge via Case Retrieval Nets
Scheduling Programs on a Large Parallel Machine
SDL Modeling with High Level Petri Nets
Siphons and Traps of Algebraic Petri Nets
The Godel Model of Petri Nets