scientific article
From MaRDI portal
Publication:3044313
zbMath1059.68072MaRDI QIDQ3044313
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2286/22860016.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Cubical local partial orders on cubically subdivided spaces -- existence and construction ⋮ Deadlocks and dihomotopy in mutual exclusion models ⋮ Culture and inattentional blindness: a global workspace perspective ⋮ Components of the fundamental category. II ⋮ Invariants of directed spaces ⋮ On the join dependency relation in multinomial lattices ⋮ On the expressiveness of higher dimensional automata ⋮ Algebraic topology and concurrency ⋮ Undirected Graphs of Entanglement 2 ⋮ Code, Context, and Epigenetic Catalysis in Gene Expression ⋮ On the Specification of Higher Dimensional Automata
This page was built for publication:
