scientific article
From MaRDI portal
Publication:3806828
zbMath0658.68068MaRDI QIDQ3806828
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in the theory of software (68N01)
Related Items (2)
Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture ⋮ Planning temporal events using point-interval logic
This page was built for publication:
