Publication:2883054

From MaRDI portal

Revision as of 20:30, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Jump to:navigation, search

zbMath1249.68126MaRDI QIDQ2883054

Peter Buchholz, Igor V. Tarasyuk

Publication date: 11 May 2012

zbMATH Keywords

temporal logic; sequential behaviour; comparative semantics

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

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