Paradigms of Concurrency Observations, Behaviours, and Systems — a Petri Net View von Janicki, Ryszard, Kleijn, Jetty, Koutny, Maciej, Mikulski, Łukasz

Volltext öffnen Volltext öffnen

A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /

Weitere Verfasser: Volltext öffnen

Recursion and Petri nets von Best, Eike 1951-, Devillers, Raymond, Koutny, Maciej

A model for dynamically structured communicating systems von Hopkins, Richard Pinder, Koutny, Maciej

Synchronizing events in replicated systems von Koutny, Maciej, Mancini, Luigi V.

Synchronizing events inn replicated systems von Koutny, Maciej, Mancini, Luigi V.

A model for dynamically structured communicating systems von Hopkins, Richard Pinder, Koutny, Maciej

Formal specification of N-modular redundancy von Mancini, Luigi V., Koutny, Maciej

Train journeys in the Merlin-Randell problem von Koutny, Maciej

Rozpoznawanie konfiguracji regularnych w teorii konfliktów von Koutny, Maciej, Żakowski, Wojciech

The box algebra = Petri nets + process expressions von Best, Eike 1951-, Devillers, Raymond, Koutny, Maciej

A refined view of the box algebra von Best, Eike 1951-, Koutny, Maciej

Operational and denotational semantics for the box algebra von Best, Eike 1951-, Koutny, Maciej

Modelling concurrent systems with dynamic communication structure von Hopkins, Richard Pinder, Koutny, Maciej

On equivalent execution semantics of concurrent systems von Janicki, Ryszard, Koutny, Maciej

Paradigms of concurrency Observations, behaviours, and systems — a Petri net view von Janicki, Ryszard, Kleijn, Jetty, Koutny, Maciej, Mikulski, Łukasz

Petri net algebra von Best, Eike 1951-, Devillers, Raymond, Koutny, Maciej

Inhaltsverzeichnis

Petri Net Algebra von Best, Eike, Devillers, Raymond, Koutny, Maciej

Volltext öffnen

Operational semantics for the Petri Box Calculus von Koutny, Maciej, Esparza, Javier 1964-, Best, Eike 1951-

Partial order semantics of priority systems von Best, Eike 1951-, Koutny, Maciej