Simulations between specifications of distributed systems

Bengt Jönsson

doi:10.1007/3-540-54430-5_99

Simulations between specifications of distributed systems

Bengt Jönsson (Uppsala University) iD

Journal: Lecture notes in computer science • 1991-01-01 • Springer Science+Business Media • ISSN: 0302-9743

Abstract

Abstract text is not embedded in this discovery record. Please consult the full-text publication via the source link on the right.

Subjects & Keywords

# Formal Methods in Verification # Computer Science # Logic, programming, and type systems # Petri Nets in System Modeling

How to Cite this Article

                    Bengt Jönsson (1991). "Simulations between specifications of distributed systems". Lecture notes in computer science. https://doi.org/10.1007/3-540-54430-5_99                

Access Full Article

Read Original Article ↗

MainReads is an independent discovery directory. Clicking above directs you to the official publisher repository.

Licence & Open Access

Public Access

Publicly accessible via the publisher or archive. Commercial redistribution or automated full-text duplication without author permission may be restricted.

Identifiers & Provenance

DOI: https://doi.org/10.1007/3-540-54430-5_99 ↗
OpenAlex: W2149449299 ↗
Primary Index: OPENALEX