DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
journal:(Formal AND Aspects AND of AND Computing) AND title:(A AND Semantics AND for AND Distributed AND Execution AND of AND Statemate)
Suggestions: Include records that partially match the query
A Semantics for Distributed Execution of Statemate
Formal Aspects of Computing — 2003, Volume 15, Issue 4, pp. 390-405
Year: 2003
Language: English
A Semantics for Distributed Execution of Statemate 10.1007/s00165-003-0015-4
Formal Aspects of Computing — 2003, Volume 15, Issue 4, pp. 390-405
Year: 2003
Language: English