Search Sciweavers | Sciweavers

2106 search results - page 13 / 422

» Operational Semantics for MSC'96

click to vote

TPHOL
2007
IEEE

145views Automated Reasoning» more TPHOL 2007»

Operational Reasoning for Concurrent Caml Programs and Weak Memory Models

15 years 3 months ago

Download www.cl.cam.ac.uk

This paper concerns the formal semantics of programming languages, and the speciﬁcation and veriﬁcation of software. We are interested in the veriﬁcation of real programs, wr...

Tom Ridge

claim paper

Read More »

click to vote

CSSE
2008
IEEE

159views Software Engineering» more CSSE 2008»

A New CSP Operator for Optional Parallelism

15 years 4 months ago

Download www.cs.swan.ac.uk

We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...

Stefan Gruner, Derrick G. Kourie, Markus Roggenbac...

claim paper

Read More »

click to vote

QEST
2010
IEEE

147views Modeling and Simulation» more QEST 2010»

The Measurable Space of Stochastic Processes

14 years 7 months ago

Download lucacardelli.name

Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...

Luca Cardelli, Radu Mardare

claim paper

Read More »

click to vote

EDOC
2006
IEEE

117views Distributed And Parallel Com...» more EDOC 2006»

Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenarios

15 years 3 months ago

Download www.kuropka.net

Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.

Dominik Kuropka, Anja Bog, Mathias Weske

claim paper