Sciweavers

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