CafeOBJ: Logical Foundations and Methodologies (2003)

Cached

Download Links

by Razvan Diaconescu , Kokichi Futatsugi , Kazuhiro Ogata
Venue:Computing and Informatics
Citations:6 - 1 self

Documents Related by Co-Citation

2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
554 On Visual Formalisms – David Harel - 1988
362 Executable Object Modeling with Statecharts – D Harel, E Gary - 1996
353 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001
1115 The Z Notation: A Reference Manual – J M Spivey - 1989
200 Understanding Z: A Specification Language and Its Formal Semantics – J M Spivey - 1998
815 The Temporal Logic of Actions – Leslie Lamport - 1993
404 STATEMATE: A Working Environment for the Development of Complex Reactive Systems – David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-trauring, Mark Trakhtenbrot - 1990
87 Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets – W Reisig - 1998