scientific article

From MaRDI portal

Revision as of 12:47, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3776607

Jump to:navigation, search

zbMath0636.68025MaRDI QIDQ3776607

Jerzy Tiuryn, Jan A. Bergstra

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semantics models of computation atomic actions configurations of actions unbounded queue

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (5)

Global renaming operators in concrete process algebra ⋮ Two finite specifications of a queue ⋮ Bounded stacks, bags and queues ⋮ Modular specification of process algebras ⋮ Reflections on a Geometry of Processes

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3776607&oldid=17325050"