|
21
|
An Institution of Object Behaviour
– Amílcar Sernadas, José Félix Costa, Cristina Sernadas
- 1994
|
|
1009
|
Temporal and modal logic
– E. Allen Emerson
- 1995
|
|
698
|
Design and synthesis of synchronization skeletons using branching time temporal logic
– E Clarke, E Emerson
- 1981
|
|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
60
|
Object Specification Logic
– Amílcar Sernadas, Cristina Sernadas
- 1995
|
|
208
|
Abstract and Concrete Categories
– J Adámek, H Herrlich, G Strecker
- 1990
|
|
11
|
Mirror Mirror In My Hand: a duality between specifications and models of process behaviour
– J.L. Fiadeiro, J.F. Costa
- 1996
|
|
94
|
A Categorical Manifesto
– Joseph A. Goguen
- 1991
|
|
133
|
Probabilistic automata
– M Rabin
- 1963
|
|
70
|
Petri nets, algebras, morphisms, and compositionality
– G Winskel
- 1987
|
|
6
|
Quelques probl`emes typiques concernant les graphes
– L Coppey
- 1980
|
|
3
|
Reactive, generativem and stratified models for probabilistic processes
– R van Glabbeek, S Smolka, B Steffen, C Tofts
- 1995
|
|
2
|
Stochastic Techniques in Concurrency. Draft provided by CISM
– P Panangaden
- 1997
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
40
|
Abstract and Concrete Categories. The Joy of Cats
– Horst Herrlich, George E. Strecker, Bernhard Banaschewski
- 2004
|
|
8
|
Free adjunction of morphisms
– Lutz Schröder, Horst Herrlich
|
|
1412
|
The Temporal Logic of Reactive and Concurrent Systems
– Z Manna, A Pnueli
- 1992
|
|
999
|
The temporal logic of programs
– A Pnueli
- 1977
|
|
184
|
Logics of Time and Computation
– R Goldblatt
- 1992
|
