Results 181 to 190 of about 11,408 (204)
Some of the next articles are maybe not open access.
Denotational semantics of channel mobility in UTP-CSP
Formal Aspects of Computing, 2021Gerard Ekembe Ngondi
exaly
From algebraic semantics to denotational semantics for Verilog
Innovations in Systems and Software Engineering, 2008Jonathan P Bowen
exaly
Operational and denotational semantics for the box algebra
Theoretical Computer Science, 1999Maciej Koutny, Eike Best
exaly
Denotational semantics of communicating sequential programs
Information Processing Letters, 1986Manfred Broy
exaly
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering, 2010Geguang Pu, Jonathan P Bowen
exaly

