Search Sciweavers | Sciweavers

5451 search results - page 76 / 1091

» Typed Operational Semantics

130

click to vote

PARCO
2003

82views Distributed And Parallel Com...» more PARCO 2003»

An operational semantics for skeletons

15 years 8 months ago

Download calvados.di.unipi.it

Marco Aldinucci, Marco Danelutto

claim paper

Read More »

104

click to vote

AMCS
2008

96views Mathematics» more AMCS 2008»

Natural Quantum Operational Semantics with Predicates

15 years 6 months ago

Download matwbn.icm.edu.pl

Marek Sawerwain, Roman Gielerak

claim paper

Read More »

131

click to vote

CORR
2010
Springer

97views Education» more CORR 2010»

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

15 years 6 months ago

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

136

Voted

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

15 years 6 months ago

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

113

click to vote

ENTCS
2007

84views more ENTCS 2007»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers