scientific article; zbMATH DE number 937812

MaRDI QIDQ4896650zbMATH OpenFDO

Authors Eneia Nicolae Todoran

Publication date 3 February 1997

zbMATH Keywords

normalized processes parameterized with Lisp expressionsprocess algebra language

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 139606
• A non-SOS operational semantics for a process algebra
• Process Algebra
• scientific article; zbMATH DE number 782044
• Communicating Sequential Processes. The First 25 Years
• Expressiveness of process algebras
• scientific article; zbMATH DE number 1333607
• Process Algebra: An Algebraic Theory of Concurrency
• scientific article; zbMATH DE number 4016181
• Operational semantics of reversibility in process algebra

Cited in

(22)

• Locality based semantics for process algebras
• A truly concurrent semantics for a process algebra using resource pomsets
• Special issue: Process algebra
• Modular specification of process algebras
• Efficient symbolic computation of process expressions
• On the unification of process semantics: equational semantics
• Process algebra for modal transition systemses
• A non-SOS operational semantics for a process algebra
• Structured CSP – A Process Algebra as an Institution
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
• scientific article; zbMATH DE number 139606 (Why is no real title available?)
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 1487746 (Why is no real title available?)
• Contradiction-Tolerant Process Algebra with Propositional Signals
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• scientific article; zbMATH DE number 782044 (Why is no real title available?)
• Interpreted Systems Semantics for Process Algebra with Identity Annotations
• scientific article; zbMATH DE number 7319030 (Why is no real title available?)
• scientific article; zbMATH DE number 7339678 (Why is no real title available?)
• A Generic Process Algebra
• Fundamental Approaches to Software Engineering

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)