Вы здесь

Главная

Warszawa

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

An Algebra of Time-Consuming Computations
A note on an operation on concurrent systems
A parallel approach to lexicon design
A Representation of Processes of Contextual Nets by Matrices
A Three-valued logic for software specification and validation
Automaty i gramatyki
Bakery Algorithms
Coloured Petri nets approach to the validation of Estelle specifications
Computer Aided Report and Archive System KARDIS - A Prototype of an electronical Patient Record for the Cardiology
Concurrency Specification and Programming: Proc./CS&P'97 Workshop. Warsaw, Poland, October 1997
Cyclic Orders and the axiomatization of causality and concurrency in periodic processes
Dynamically Stubborn Sets and the Sleep Set Methhod
Equations in nets Computer oriented lattices
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
Generating PVS Proof Obligations for TAM Specifications
Knowledge-Based Protocols in a Multi-Agent System: a case study
MedicoInternet. Presentation of Secure Multimedia Patient Records in the Internet
Merging Estelle with TLA+ - work in progress
Model-Checking with Coverability Graphs
Modelling rational BDI-agents within the framework of asynchronous automata
On Parametrical Sequences in Time Petri Nets
Proceedings of the CS@P 93 Workshop
Process Languages and Nets
Programming an Agreement Protocol with the help of PrT-Nets
Signal-Event Nets
Systemy informacyjne
The Benefit of Waiting
Three-valued predicates for software spesification and validation
Timed Network Semantics for Communicating Processes
Traces, Histories, Graphs: Instances of a Process Monoid