Semantik Theorie sequentieller und paralleler Programmierung von Best, Eike 1951-

Inhaltsverzeichnis

Nonsequential processes a Petri net view von Best, Eike 1951-, Fernández C., César

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

Inhaltsverzeichnis

Relational semantics revisited von Best, Eike 1951-, Richter, Kerstin M.

Coloured nets with curry von Best, Eike 1951-, Thielke, Thomas

Semantics of sequential and parallel programs von Best, Eike 1951-

Semantik Theorie sequentieller und paralleler Programmierung von Best, Eike 1951-

Volltext öffnen

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

Compositional process semantics of Petri boxes von Best, Eike 1951-, Linde-Göers, Hans-Günther

B(PN) 2 - a basic petri net programming notation von Best, Eike 1951-, Hopkins, Richard Pinder

B(PN)2 - a basic Petri net programming notation von Best, Eike 1951-, Hopkins, Richard Pinder

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

Structure and behavior of concurrent systems selected results of the ESPRIT Basic Research Action No. 3148: DEMON (Design Methods Based on Nets) von Best, Eike 1951-

Kausale Semantik nichtsequentieller Programme von Best, Eike 1951-

Minimal deadlocks in free choice nets von Esparza, Javier 1964-, Best, Eike 1951-, Silva, Manuel

Notations and terminology on Petri net theory von Best, Eike 1951-, Fernández, César

Concurrent Behaviour von Best, Eike 1951-

Relational semantics of concurrent programs (with some applications) von Best, Eike 1951-

Systematic detection of exception occurrences von Best, Eike 1951-, Cristian, Flavin

An operational characterisation of the atomicity of activities von Best, Eike 1951-