scientific article; zbMATH DE number 4119610

From MaRDI portal

Revision as of 21:43, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4733394

Jump to:navigation, search

zbMath0683.68024MaRDI QIDQ4733394

W. P. Weijland

Publication date: 1989

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

zbMATH Keywords

process algebra concurrent processes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25) Theory of computing (68Q99)

Related Items (8)

Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ Branching bisimilarity is an equivalence indeed! ⋮ \(\tau\)-bisimulations and full abstraction for refinement of actions ⋮ On the observational theory of the CPS-calculus ⋮ Inheritance of behavior ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ Process calculus based upon evaluation to committed form ⋮ Ordered SOS process languages for branching and eager bisimulations

This page was built for publication:

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