scientific article; zbMATH DE number 3938548

zbMATH Open0585.68033MaRDI QIDQ3709873FDOQ3709873

Authors: Anne Kaldewaij 

Publication date: 1986

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

Recommendations

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

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)

Cited In (12)

• Defining concurrent processes constructively
• Locked discrete event systems: How to model and how to unlock
• Title not available (Why is that?)
• A congruence rule format for name-passing process calculi
• Title not available (Why is that?)
• Concurrency: handling interference formally
• A transformation system for concurrent processes
• Trace-oriented models of concurrency
• Nets, Terms and Formulas
• Title not available (Why is that?)
• Computable concurrent processes
• Programming Languages and Systems

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)