Sciweavers

290 search results - page 5 / 58
» A Denotational Semantics for Handel-C
Sort
View
ATAL
2004
Springer
15 years 2 months ago
A Denotational Semantics for Deliberation Dialogues
Peter McBurney, Simon Parsons
77
Voted
MSCS
2006
80views more  MSCS 2006»
14 years 9 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
TOMACS
1998
43views more  TOMACS 1998»
14 years 9 months ago
A Denotational Semantics for a Process-Based Simulation Language
Chris M. N. Tofts, Graham M. Birtwistle