Results 251 to 260 of about 6,120 (267)
Some of the next articles are maybe not open access.
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science, 2007Dorel Lucanu +2 more
exaly
A rewriting logic approach to operational semantics
Information and Computation, 2009Grigore Rosu, Traian Șerbănuță
exaly
Operational and denotational semantics for the box algebra
Theoretical Computer Science, 1999Maciej Koutný, Eike Best
exaly
Category theory for operational semantics
Theoretical Computer Science, 2004, John Power, Marina Lenisa
exaly
Modularity and Implementation of Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science, 2011Mauro Jaskelioff, Neil Ghani
exaly
An operational semantics for Simulink's simulation engine
ACM SIGPLAN Notices, 2012Olivier Bouissou, Alexandre Chapoutot
exaly
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
Performance Evaluation, 2014Annabelle Mciver, Joost-Pieter Katoen
exaly
LETOS - a lightweight execution tool for operational semantics
Software - Practice and Experience, 1999Pieter Hartel
exaly
Operational semantics for multi-language programs
ACM SIGPLAN Notices, 2007Jacob Matthews, Findlerrobert Bruce
exaly