Results 201 to 207 of about 188,404 (207)
Some of the next articles are maybe not open access.

LETOS - a lightweight execution tool for operational semantics

Software - Practice and Experience, 1999
Pieter Hartel
exaly  

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Electronic Notes in Theoretical Computer Science, 2007
Traian Florin Șerbănuță   +2 more
exaly  

Algebraic operational semantics

1987
openaire   +1 more source

Algebraic and operational semantics of specifications allowing exceptions and errors

Theoretical Computer Science, 1984
exaly  

Familial monads and structural operational semantics

2019
Tom Hirschowitz
exaly  

A non-SOS operational semantics for a process algebra

Information Processing Letters, 1998
exaly  

An Operational Semantics for CSP.

openaire   +1 more source
mathematics
computer science
semantics in the theory of computing
16. peace & justice
fos: computer and information sciences
computer science - logic in computer science
electronic computers
axiomatic semantics
logic
previous   19  20  21  

Home - About - Disclaimer - Privacy