1 - 10 of 4768 publications for REX Workshop and REX Workshop. (0.125 seconds)
The State Operator in Real Time Process Algebra
- Authors: Jos C. M. Baeten, Jan A. Bergstra.
- In Proceedings: REX Workshop
- Published year: 1991
Composing Specifications
- Authors: Martin Abadi, Leslie Lamport.
- In Proceedings: REX Workshop
- Published year: 1989
Logics and Models of Real Time: A Survey
- Authors: Rajeev Alur, Thomas A. Henzinger.
- In Proceedings: REX Workshop
- Published year: 1991
An introduction to event structures
- Authors: Glynn Winskel.
- In Proceedings: REX Workshop
- Published year: 1988
An Old-Fashioned Recipe for Real Time
- Authors: Martin Abadi, Leslie Lamport.
- In Proceedings: REX Workshop
- Published year: 1991
An Introduction to the Theoretical Aspects of Coloured Petri Nets
- Authors: Kurt Jensen.
- In Proceedings: REX School/Symposium
- Published year: 1993
Intelligent Multimedia Interfaces - Workshop Report
- Authors: Mark T. Maybury.
- Article: AI Magazine
- Published year: 1992
T-REX: reconstructing and visualizing phylogenetic trees and reticulation networks
- Authors: Vladimir Makarenkov.
- Article: Bioinformatics
- Published year: 2001
An Overview and Synthesis on Timed Process Algebras
- Authors: Xavier Nicollin, Joseph Sifakis.
- In Proceedings: REX Workshop
- Published year: 1991
From Timed to Hybrid Systems
- Authors: Oded Maler, Zohar Manna, Amir Pnueli.
- In Proceedings: REX Workshop
- Published year: 1991