scientific article; zbMATH DE number 3938548

MaRDI QIDQ3709873zbMATH OpenFDO

Authors Anne Kaldewaij

Publication date 1986

zbMATH Keywords

synchronizationnondeterminismlivelockdeadlockCSP-syntaxdeterministic CSP-processesprefix- closed trace structuresTrace Structures

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Partial orders, general (06A06) Abstract data types; algebraic specification (68Q65) Logical aspects of lattices and related structures (03G10) Theory of operating systems (68N25)

Recommendations

• Theory of traces
• Publication:4733400
• Nets, Terms and Formulas
• Combinatorics on traces
• scientific article; zbMATH DE number 4030996

Cited in

(12)

• Programming Languages and Systems
• Defining concurrent processes constructively
• Locked discrete event systems: How to model and how to unlock
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• A congruence rule format for name-passing process calculi
• scientific article; zbMATH DE number 3872691 (Why is no real title available?)
• A transformation system for concurrent processes
• Concurrency: handling interference formally
• Trace-oriented models of concurrency
• Nets, Terms and Formulas
• scientific article; zbMATH DE number 4092753 (Why is no real title available?)
• Computable concurrent processes

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