Sciweavers

8109 search results - page 43 / 1622
» A Model of Component-Based Programming
Sort
View
ICALP
1993
Springer
14 years 2 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
IBM
1990
14 years 2 months ago
Evolution of Data Models
Hans-Jörg Schek, Marc H. Scholl
APLAS
2001
ACM
14 years 2 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han