671 search results - page 89 / 135 » Semantics Preserving Model Composition |
LISP
2006
13 years 8 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
ISORC
2000
IEEE
14 years 14 days ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
PDSE
1998
13 years 10 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...