scientific article

zbMath0454.68051MaRDI QIDQ3902494

Kurt Jensen

Publication date: 1980

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

zbMATH Keywords

simulationreductionstransition system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Coloured Petri nets and the invariant-method ⋮ Adequacy properties of path programs ⋮ Modular implementation of concurrency ⋮ Automata and concurrency ⋮ A complete inference system for a class of regular behaviours

This page was built for publication: