scientific article; zbMATH DE number 977449

zbMATH Open0860.68065MaRDI QIDQ4331844FDOQ4331844

Authors: Eike Best 

Publication date: 12 February 1997

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99) Semantics in the theory of computing (68Q55)

Cited In (6)

• A behavioural theory of recursive algorithms
• Concurrent abstract state machines
• Relational semantics revisited
• Explicit fair scheduling for dynamic control
• On occurrence net semantics for petri nets with contacts
• Orthogonal transformations for coloured Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4331844)