Sciweavers

71 search results - page 15 / 15
» Executable structural operational semantics in Maude
Sort
View
ICFP
2005
ACM
14 years 4 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...