scientific article

zbMath0744.54020MaRDI QIDQ3975031

Marta Kwiatkowska

Publication date: 26 June 1992

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

zbMATH Keywords

fairnesslivenesssafetyMazurkiewicz's trace-semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Topological lattices (06B30) Connections of general topology with other structures, applications (54H99)

Related Items (2)

Liminf progress measures ⋮ Duality beyond sober spaces: Topological spaces and observation frames

This page was built for publication: