Results 281 to 290 of about 57,646 (303)

Bialgebras for structural operational semantics: An introduction

Theoretical Computer Science, 2011
As indicated in the title, this work provides an introduction to the use of bialgebras in structural operational semantics (SOS). Starting from very basic examples, it arrives at giving an up-to-date overview of the state of the art in the field. The underlying principle of bialgebraic semantics [\textit{D. Turi} and \textit{G.
Bartek Klin
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Parameterized Structured Operational Semantics

Fundamenta Informaticae, 1998
A generalization of De Simone format, where labels of transitions are structured actions, is presented. This provides a parameterized SOS framework where several paradigms of the observational semantics of process calculi can be uniformly handled. Moreover, standard algebraic techniques provide the formal machineries to relate the different semantics.
FERRARI, GIAN-LUIGI, Montanari U.
openaire   +3 more sources

The origins of structural operational semantics

The Journal of Logic and Algebraic Programming, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly   +4 more sources

Familial monads and structural operational semantics [PDF]

Proceedings of the ACM on Programming Languages, 2019
We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations.
Tom Hirschowitz
exaly   +3 more sources

Structural Operational Semantics

2000
This appendix introduces the basics of structural operational semantics [171], which defines a labelled transition system over a term algebra. An up-to-date overview of structural operational semantics is given in [3].
Aceto, Luca, Fokkink, W., Verhoef, C.
openaire   +3 more sources

Structural operational semantics for AKL

Future Generation Computer Systems, 1992
Abstract The Andorra Kernel Language (AKL) is a concurrent constraint programming language. It can be seen as a general combination of logic programming languages such as Prolog, GHC, and Parlog, the first of which provides don't know nondeterminism, and the last two of which are concurrent logic programming languages.
Seif Haridi, Sverker Janson, Catuscia Palamidessi   +2 more
openaire   +1 more source

Structural operational semantics and bounded nondeterminism [PDF]

Acta Informatica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wan J Fokkink
exaly   +3 more sources

Structural operational semantics of packages in Java

2008 11th International Conference on Computer and Information Technology, 2008
A good understanding of programming language can be developed and understood in a machine independent manner called structural operational semantics. It is a mathematical model for specifying the meaning of a language by defining the effect of a running program in terms of its structure.
Mohammad Shamsul Arefin, M M Hoque
exaly   +2 more sources

Structural Operational Semantics of P Systems

2006
The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving.
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu   +2 more
openaire   +1 more source

Structural Operational Semantics for Supporting Multi-Cycle Operations in RTL HDLs

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., 2005
In this paper we formally define an operational semantics framework RTL++ for modeling behavioral RTL hardware IP. The semantics we define is neutral to existing HDLs and extends traditional sense RTL by natively supporting pipelined and multi-cycled operations with a unified register variable type.
Zhao, S., Gajski, D.D.
openaire   +2 more sources