Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Theories, Implementations, and Transformations Kapitel lesen Erstes Kapitel lesen

2002 | OriginalPaper | Buchkapitel

The Semantics of Circus

verfasst von : Jim Woodcock, Ana Cavalcanti

Erschienen in: ZB 2002:Formal Specification and Development in Z and B

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Circus is a concurrent language for refinement; it is a unification of imperative CSP, Z, and the refinement calculus. We describe the language of Circus and the formalisation of its model in Hoare & He’s unifying theories of programming.

Vorheriges Kapitel Software Construction by Stepwise Feature Introduction
Nächstes Kapitel Handling Inconsistencies in Z Using Quasi-Classical Logic
Metadaten
Titel
The Semantics of Circus
verfasst von
Jim Woodcock
Ana Cavalcanti
Copyright-Jahr
2002
Verlag
Springer Berlin Heidelberg
Buch
ZB 2002:Formal Specification and Development in Z and B

Print ISBN: 978-3-540-43166-4

Electronic ISBN: 978-3-540-45648-3

Copyright-Jahr: 2002

DOI
https://doi.org/10.1007/3-540-45648-1_10