There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Article: not found

Statecharts: a visual formalism for complex systems

David Harel (1987)

0 comments Cited 353 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

The B-Book

J. Abrial, A Hoare, Pierre Chapron (2010)

0 comments Cited 176 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Object-Z: A specification language advocated for the description of standards

Roger Duke, Gordon Rose, Graeme Smith (1995)

0 comments Cited 20 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1998

Pages: 5-23

DOI: 10.1007/978-3-540-49676-2_2

SO-VID: af1551e9-0b0e-413b-a37e-fdc679d17f30

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

A UTP semantics for Circus
Authors: Ana Elizabeth Cavalcanti, Marcel de Campos Oliveira, Jim Woodcock
The Semantics of Circus
Authors: Jim Woodcock, Ana Rosa Cavalcanti
Using a Process Algebra to control B OPERATIONS
Authors: Helen Treharne, Steve Schneider

See all cited by

How to Combine Z with a Process Algebra

Read this book at

Related collections

Studia z Filologii Polskiej i Słowiańskiej

Most cited references 21

Statecharts: a visual formalism for complex systems

The B-Book

Object-Z: A specification language advocated for the description of standards

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,741

Cited by 6