Sciweavers

9455 search results - page 19 / 1891
» The Modelling Language Zinc
Sort
View
72
Voted
PLDI
2010
ACM
15 years 1 months ago
GUESSTIMATE: A Programming Model for Collaborative Distributed Systems
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...
ICALP
1993
Springer
15 years 1 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
IBM
1990
15 years 1 months ago
Evolution of Data Models
Hans-Jörg Schek, Marc H. Scholl
78
Voted
APLAS
2001
ACM
15 years 1 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han