|
Journals in DBLP
- Maciej Koutny
Peter Lauer and COSY. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:103-107 [Journal]
- André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy
The AltaRica Formalism for Describing Concurrent Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:109-124 [Journal]
- Eike Best, Alexander Lavrov
Generalised Composition Operations for High-level Petri Nets. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:125-163 [Journal]
- Nadia Busi, G. Michele Pinna
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:165-197 [Journal]
- Raymond R. Devillers, Joël Goossens
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:199-219 [Journal]
- Andrea Maggiolo-Schettini, Simone Tini
Applying Techniques of Asynchronous Concurrency to Synchronous Languages. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:221-250 [Journal]
- Marta Pietkiewicz-Koutny
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:251-283 [Journal]
- M. W. Shields
An Acceptance Vector Semantics for Path Programs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:2-3, pp:285-316 [Journal]
|