Sciweavers

8109 search results - page 52 / 1622
» A Model of Component-Based Programming
Sort
View
CTCS
1997
Springer
14 years 3 months ago
Presheaf Models for the pi-Calculus
Gian Luca Cattani, Ian Stark, Glynn Winskel
SIGADA
1994
Springer
14 years 2 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.
POPL
1992
ACM
14 years 2 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long