Results 161 to 170 of about 246 (185)
Some of the next articles are maybe not open access.
Explanatory Denotational Semantics for Complex Event Patterns
Formal Aspects of Computing, 2023Bartosz Zielinski
exaly
From algebraic semantics to denotational semantics for Verilog
Innovations in Systems and Software Engineering, 2008Huibiao Zhu +2 more
exaly
Operational and denotational semantics for the box algebra
Theoretical Computer Science, 1999Maciej Koutný, Eike Best
exaly
A denotational semantics for the generalized ER model and a simple ER algebra
International Journal of Computer Mathematics, 1988Peter P Chen
exaly
A Denotational Semantics for SPARC TSO
Electronic Notes in Theoretical Computer Science, 2018Ryan Kavanagh, Stephen Brookes
exaly
Denotational semantics and its algebraic derivation for an event-driven system-level language
Formal Aspects of Computing, 2015Shengchao Qin +2 more
exaly
Some comments on “a denotational semantics for Prolog”
ACM Transactions on Programming Languages and Systems, 1994Andrew W Appel, Daniel Berry
exaly
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
Formal Aspects of Computing, 2020Feng Sheng +2 more
exaly