Sciweavers

11 search results - page 1 / 3
» rex 1993
Sort
View
83
Voted
REX
1990
15 years 5 months ago
A Categorial Theory of Objects as Observed Processes
Hans-Dieter Ehrich, Joseph A. Goguen, Amílc...
88
Voted
REX
1989
15 years 4 months ago
Composing Specifications
Martín Abadi, Leslie Lamport
84
Voted
REX
1993
15 years 5 months ago
Interaction Diagrams
Joachim Parrow
71
Voted
REX
1993
15 years 5 months ago
Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel