Fundamenta Informaticae - Tom Vol. 40, Nr 2,3 (1999) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 40, Nr 2,3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

1999

Identyfikatory

Zawartość wolumenu

Vol. 40, Nr 2,3
- artykuł: Peter Lauer and COSY (Koutny M.), s. 103-107
- artykuł: The AltaRica formalism for describing concurrent systems (Arnold A., Point G., Griffault A., Rauzy A.), s. 109-124
- artykuł: Generalised composition operations for high-level Petri nets (Best E., Lavrov A.), s. 125-163
- artykuł: Process semantics for Place/Transition nets with inhibitor and read arcs (Busi N., Pinna G.M.), s. 165-197
- artykuł: General response time computation for the deadline driven scheduling of periodic tasks (Devillers R., Goossens J.), s. 199-219
- artykuł: Applying techniques of asynchronous concurrency to synchronous languages (Maggiolo-Schettini A., Tini S.), s. 221-250
- artykuł: The synthesis problem for Elementary Net Systems with Inhibitor Arcs (Pietkiewicz-Koutny M.), s. 251-283
- artykuł: An acceptance vector semantics for path programs (Shields M.W.), s. 285-316

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.