Sciweavers

22 search results - page 2 / 5
» dsl 1997
Sort
View
94
Voted
DSL
1997
15 years 6 months ago
BDL: A Language to Control the Behavior of Concurrent Objects
Frédéric Bertrand, Michel Augeraud
108
Voted
DSL
1997
15 years 6 months ago
A Modular Monadic Action Semantics
Keith Wansbrough, John Hamer