Sciweavers

2106 search results - page 41 / 422

» Operational Semantics for MSC'96

80

AMCS
2008

96views Mathematics» more AMCS 2008»

Natural Quantum Operational Semantics with Predicates

15 years 4 months ago

Natural Quantum Operational Semantics with Predicates

Download matwbn.icm.edu.pl

Marek Sawerwain, Roman Gielerak

claim paper

Read More »

99

CORR
2010
Springer

97views Education» more CORR 2010»

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

15 years 4 months ago

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

101

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

15 years 4 months ago

A Proof Theoretic Approach to Operational Semantics

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

84

ENTCS
2007

84views more ENTCS 2007»

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

15 years 4 months ago

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

Download www.cse.unsw.edu.au

Adrian Pop, Peter Fritzson

claim paper

Read More »

120

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

15 years 4 months ago

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Download www.cse.unsw.edu.au

Traian-Florin Serbanuta, Grigore Rosu, José...

claim paper

Read More »

« Prev « First page 41 / 422 Last » Next »