An Operational Semantics for Timed RAISE

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-48118-4_4

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

An Operational Semantics for Android Activities

2014English

An Operational Semantics for Network Datalog

English

An Overview on Operational Semantics in Membrane Computing

International Journal of Foundations of Computer Science
Computer Science
2011English

Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols

Proceedings of the ACM on Programming Languages
2017English

Modular Structural Operational Semantics

BRICS Report Series
2015English

Inductive Assertions and Operational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Goal Solving as Operational Semantics

1995English

Operational Semantics Using the Partiality Monad

ACM SIGPLAN Notices
Computer Science
2012English

Operational Semantics: Concepts and Their Expression

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy