scientific article; zbMATH DE number 937812

zbMATH Open0855.68058MaRDI QIDQ4896650

Eneia Nicolae Todoran

Publication date: 3 February 1997

Title of this publication is not available (Why is that?)

zbMATH Keywords

process algebra languagenormalized processes parameterized with Lisp expressions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (19)

Process algebra for modal transition systemses ⋮ Locality based semantics for process algebras ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator ⋮ Title not available (Why is that?) ⋮ Fundamental Approaches to Software Engineering ⋮ Contradiction-Tolerant Process Algebra with Propositional Signals ⋮ Title not available (Why is that?) ⋮ Interpreted Systems Semantics for Process Algebra with Identity Annotations ⋮ Structured CSP – A Process Algebra as an Institution ⋮ On the unification of process semantics: equational semantics ⋮ Title not available (Why is that?) ⋮ Modular specification of process algebras ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A Generic Process Algebra ⋮ A truly concurrent semantics for a process algebra using resource pomsets ⋮ Special issue: Process algebra

Recommendations

• A non-SOS operational semantics for a process algebra 👍 👎
• Expressiveness of process algebras 👍 👎
• Process Algebra: An Algebraic Theory of Concurrency 👍 👎
• Process Algebra 👍 👎
• Operational Semantics of Reversibility in Process Algebra 👍 👎
• Communicating Sequential Processes. The First 25 Years 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4896650)