scientific article; zbMATH DE number 1216183
zbMath0910.68015MaRDI QIDQ4215810
Publication date: 29 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
process algebraPetri netsconcurrent programmingresource constrained scheduling problemalgebra of communicating processes
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
