Search Sciweavers | Sciweavers

2135 search results - page 30 / 427

» An Operational Semantics for JavaScript

click to vote

FOSSACS
2008
Springer

105views Software Engineering» more FOSSACS 2008»

Structural Operational Semantics for Stochastic Process Calculi

13 years 9 months ago

Download www.mimuw.edu.pl

Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...

Bartek Klin, Vladimiro Sassone

claim paper

Read More »

click to vote

FMOODS
2003

145views Formal Methods» more FMOODS 2003»

The Kell Calculus: Operational Semantics and Type System

13 years 9 months ago

Download sardes.inrialpes.fr

This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...

Philippe Bidinger, Jean-Bernard Stefani

claim paper

Read More »

click to vote

PARCO
2003

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

An operational semantics for skeletons

13 years 9 months ago

Download calvados.di.unipi.it

Marco Aldinucci, Marco Danelutto

claim paper

Read More »