scientific article; zbMATH DE number 4119606

zbMath0683.68020MaRDI QIDQ4733390

Haim Gaifman

Publication date: 1989

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

zbMATH Keywords

automataconcurrencytransition systemspartial orderstemporal precedencepomsetscausal precedence

Mathematics Subject Classification ID

Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) General logic (03B99)

Related Items (4)

Temporal structures ⋮ On the nature of events: another perspective in concurrency ⋮ Defining conditional independence using collapses ⋮ Extending set functors to generalised metric spaces

This page was built for publication: