Results 191 to 200 of about 188,404 (207)
Some of the next articles are maybe not open access.
An Operational Semantics for S-Net
2010We present the formal operational semantics of S-NET, a coordination language and component technology based on stream processing. S-NET turns conventional (sequential) functions/procedures into asynchronous components interacting with each other through a streaming network; it defines network topologies inductively by a small combinator language that ...
Frank Penczek +2 more
openaire +3 more sources
The origins of structural operational semantics
The Journal of Logic and Algebraic Programming, 2004Gordon D Plotkin
exaly +2 more sources
Bialgebras for structural operational semantics: An introduction
Theoretical Computer Science, 2011Bartek Klin
exaly
A rewriting logic approach to operational semantics
Information and Computation, 2009Traian Florin Șerbănuță +2 more
exaly
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
Performance Evaluation, 2014Joost-Pieter Katoen, Annabelle Mciver
exaly
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science, 2007Oana Andrei +2 more
exaly
Operational and denotational semantics for the box algebra
Theoretical Computer Science, 1999Maciej Koutný, Eike Best
exaly
Modularity and Implementation of Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science, 2011Mauro Jaskelioff, Neil Ghani
exaly
Operational semantics of Framed Tempura
The Journal of Logic and Algebraic Programming, 2008Zhenhua Duan
exaly