scientific article; zbMATH DE number 92601

MaRDI QIDQ4018067zbMATH OpenFDO

Authors Manfred Broy

Publication date 16 January 1993

zbMATH Keywords

action structuresfixpoint theoryobservable behavioursynchronous concurrent systemsterm rewriting

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Semantics of communicating processes
• scientific article; zbMATH DE number 3902017
• scientific article; zbMATH DE number 3890713
• scientific article; zbMATH DE number 3978364
• Step semantics for ``true concurrency with recursion

Cited in

(37)

• Order and metric in the stream semantics of elemental concurrency
• Infinite streams and finite observations in the semantics of uniform concurrency
• Designing equivalent semantic models for process creation
• Foundations of a theory of synchronous systems
• The semantics of the combination of atomized statements and parallel choice
• Dynamic connectors for concurrency
• A structural approach to operational semantics
• A small-step semantics of a concurrent calculus with Goroutines and deferred functions
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• CPO models for compact GSOS languages
• Structuring operational semantics: simplification and computation
• A denotational semantic theory of concurrent systems
• Relating operational and denotational descriptions of πDemos
• scientific article; zbMATH DE number 995891 (Why is no real title available?)
• A truly concurrent process semantics over multi-pomsets of consumable resources
• scientific article; zbMATH DE number 3890713 (Why is no real title available?)
• scientific article; zbMATH DE number 3902017 (Why is no real title available?)
• scientific article; zbMATH DE number 3903937 (Why is no real title available?)
• Semantics of communicating processes
• scientific article; zbMATH DE number 3956419 (Why is no real title available?)
• scientific article; zbMATH DE number 3978364 (Why is no real title available?)
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• Direct semantics of concurrent languages in the SMoLCS approach
• scientific article; zbMATH DE number 4050948 (Why is no real title available?)
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• scientific article; zbMATH DE number 1023018 (Why is no real title available?)
• scientific article; zbMATH DE number 1479607 (Why is no real title available?)
• Concurrency semantics in continuation-passing style
• scientific article; zbMATH DE number 2087402 (Why is no real title available?)
• scientific article; zbMATH DE number 2088359 (Why is no real title available?)
• Sémantique du parallélisme et du choix du langage Electre
• Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Final semantics for a higher order concurrent language
• Structural operational semantics through context-dependent behaviour
• Denotational linear time semantics and sequential composition
• An operational semantics of occam

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4018067)