Science of Computer Programming
Collection
Collection
- ISSN: 0167-6423
Published by North-Holland
-
Analysis of three hybrid systems in timed mu CRL Article
Science of Computer Programming, 39(2-3), 215-247.March 2001
-
An empirical study into COBOL type inferencing Article
Science of Computer Programming, 40(2-3), 189-211.July 2001
-
State space generation for the HAVi leader election protocol Article
Science of Computer Programming, 43(1), 1-33.January 2002
-
January 2005
-
Model-checking processes with data Article
Science of Computer Programming, 56(3), 251-273.January 2005
-
Abstract Behavior Types: a foundation model for components and their composition Article
Science of Computer Programming, 55(1-3), 3-52.January 2005 -
Modeling component connectors in Reo by constraint automata Article
Science of Computer Programming, 75-113.F. Arbab (Farhad), C. Baier, J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)
January 2006
-
Documenting software systems using types Article
Science of Computer Programming, 205-220.January 2006