Вы здесь

Главная

операционный

Связанные издания:

Operational Semantics and Confluence of Constraint Propagation Rules
Operational Semantics and Program Equivalence
Operational semantics development for procedural programming languages based on conceptual transition systems
Operational Semantics-Directed Compilers and Machine Architectures
Operational Semantics for Agent Communication Languages
Operational Semantics for Coordination in Paradigm
Operational Semantics for the Petri Box Calculus
Operational Semantics of a Distributed Object-oriented Language and its Z Formal Specification
Operational Semantics of Constraint Logic Programs with Coroutining
Partial Ordering Models for Concurrency Can Be Defined Operationally
Partial Order Semantics of Concurrent Programs
Polyhedral Analysis for Synchronous Languages
Probability and Nondeterminism in Operational Models of Concurrency
Process Instances in LOTOS Simulation
Reactive, Generative, and Stratified Models of Probabilistic Processes
REAL92: комбинированный язык спецификаций для систем и свойств взаимодействую их процессов реального времени
Reuse of Formal Developments
Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking
Semantic Correctness for a Parallel Object-oriented Language
Set-Based Analysis of ML Programs
Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language
Simulation of SOS Definitions with Term Rewriting Systems
Some Comments on "A Denotational Semantics for Prolog"
Some Extensions of Rewriting
Some Results on the Expressive Power and Complexity of LSCs
Soundness of the Logical Framework for Its Typed Operational Semantics
Specification and Verification of Timed Lazy Systems
Specifications Using Multiple-Conclusion Logic Programs
Specifying Operational Profiles for Modules
Starlet: An Affix-Based Compiler Compiler designed as a Logic Programming System
Strictness and Totality Analysis
Structural Operational Semantics and Bounded Nondeterminism
Structural Operational Semantics for Kernel Andorra Prolog
Structured Operational Semantics for Process Algebras and Equational Axiom Systems
Swarm Intelligence Based Optimization: Revised Selected Papers/1st International Conference, ICSIBO 2014, Mulhouse, France, May 2014
Termination, Deadlock, and Divergence
Term Rewriting Properties of SOS Axiomatisations
Testing Semantics for Unbounded Nondeterminism
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP
The Decent Philosophers: An exercise in operational semantics of concurrent systems
The Evolving Algebra Semantics of Class and Role Hierarchies
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
The Inverse of Fitting s Functional
The Lambda-Calculus with Multiplicities
The Metatheory of UTT
The Operational Semantics of a Java Secure Processor
The Semantics of Statecharts in HOL
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
Towards the Synthesis of Asynchronous Concurrent Programs