Statecharts: A Visual Formalism For Complex Systems (1987)

by David Harel
Citations:2366 - 53 self

Active Bibliography

575 On Visual Formalisms – David Harel - 1988
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
506 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998