Sciweavers

2173 search results - page 29 / 435

» An operational semantics for skeletons

12

AMCS
2008

96views Mathematics» more AMCS 2008»

Natural Quantum Operational Semantics with Predicates

13 years 7 months ago

Natural Quantum Operational Semantics with Predicates

Download matwbn.icm.edu.pl

Marek Sawerwain, Roman Gielerak

claim paper

Read More »

18

CORR
2010
Springer

97views Education» more CORR 2010»

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

13 years 7 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 »

15

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

13 years 7 months ago

A Proof Theoretic Approach to Operational Semantics

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

15

ENTCS
2007

84views more ENTCS 2007»

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

13 years 7 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 »

15

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

13 years 7 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 29 / 435 Last » Next »