Sciweavers

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