ENTCS 2006 | Sciweavers

32

ENTCS
2006

116views more ENTCS 2006»

13 years 11 months ago

In this note we discuss some issues concerning a geometric approach to process algebra. We mainly raise questions and are not yet able to present significant answers.

Clemens Grabmayer, Jan Willem Klop, Bas Luttik

claim paper

Read More »

28

click to vote

ENTCS
2006

112views more ENTCS 2006»

Towards SOS Meta-Theory for Language-Based Security

13 years 11 months ago

Download www.win.tue.nl

Mohammad Reza Mousavi

claim paper

Read More »

33

click to vote

ENTCS
2006

114views more ENTCS 2006»

What is algebraic in process theory?

13 years 11 months ago

Download alexandria.tue.nl

This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...

Bas Luttik

claim paper

Read More »

35

click to vote

ENTCS
2006

134views more ENTCS 2006»

Anonymity in Probabilistic and Nondeterministic Systems

13 years 11 months ago

Download www.lix.polytechnique.fr

Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...

Catuscia Palamidessi

claim paper

Read More »

24

click to vote

ENTCS
2006

89views more ENTCS 2006»

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

13 years 11 months ago

Download www.brics.dk

Luca Aceto, Wan Fokkink

claim paper

Read More »

35

click to vote

ENTCS
2006

214views more ENTCS 2006»

A Generalization of ACP Using Belnap's Logic

13 years 11 months ago

Download staff.science.uva.nl

ACP is combined with Belnap's four-valued logic via conditional composition (if

Alban Ponse, Mark van der Zwaag

claim paper

Read More »

25

click to vote

ENTCS
2006

136views more ENTCS 2006»

A "Hardware Compiler" Semantics for Handel-C

13 years 11 months ago

Download www.scss.tcd.ie

We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...

Andrew Butterfield, Jim Woodcock

claim paper

Read More »

88

click to vote

ENTCS
2006

273views more ENTCS 2006»

Operator Algebras and the Operational Semantics of Probabilistic Languages

13 years 11 months ago

Download www.di.unipi.it

We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...

Alessandra Di Pierro, Herbert Wiklicky

claim paper

Read More »

26

click to vote

ENTCS
2006

94views more ENTCS 2006»

Computation of Wave Fronts on a Disk I: Numerical Experiments

13 years 11 months ago

Download www.eecs.umich.edu

This paper discusses numerical experiments of wave front propagation on a flat disk and related results. In particular, notions of extremal rays and wave front caustics are introd...

Georg Essl

claim paper

Read More »

14

click to vote

ENTCS
2006

96views more ENTCS 2006»

Topological Analysis of Refinement

13 years 11 months ago

Download www.doc.ic.ac.uk

Michael Huth

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers