Operational Semantics: Concepts and Their Expression

Information Processing Letters - Netherlands
doi 10.1016/s0020-0190(03)00383-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Inductive Assertions and Operational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Modular Structural Operational Semantics

BRICS Report Series
2015English

Goal Solving as Operational Semantics

1995English

Operational Semantics Using the Partiality Monad

ACM SIGPLAN Notices
Computer Science
2012English

An Operational Semantics for Android Activities

2014English

An Operational Semantics for Timed RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

An Operational Semantics for Network Datalog

English

A Rewriting Logic Approach to Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Bialgebraic Methods and Modal Logic in Structural Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy