Results 171 to 180 of about 246 (185)
Some of the next articles are maybe not open access.
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering, 2010Geguang Pu +2 more
exaly
Denotational Semantics with Nominal Scott Domains
Journal of the ACM, 2014Andrew Mawdesley Pitts
exaly
Denotational semantics of communicating sequential programs
Information Processing Letters, 1986Manfred Broy
exaly
A denotational semantics for Handel-C
Formal Aspects of Computing, 2011Andrew Butterfield, Butterfield Andrew
exaly
Denotational linear time semantics and sequential composition
Information Processing Letters, 1996exaly
An Intrinsic Denotational Semantics for a Lazy Functional Language
Lecture Notes in Computer Science, 2015exaly