Sciweavers

Share
ENTCS
2006
116views more  ENTCS 2006»
8 years 10 months ago
Reflections on a Geometry of Processes
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
ENTCS
2006
112views more  ENTCS 2006»
8 years 10 months ago
Towards SOS Meta-Theory for Language-Based Security
Mohammad Reza Mousavi
ENTCS
2006
114views more  ENTCS 2006»
8 years 10 months ago
What is algebraic in process theory?
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
ENTCS
2006
134views more  ENTCS 2006»
8 years 10 months ago
Anonymity in Probabilistic and Nondeterministic Systems
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
ENTCS
2006
214views more  ENTCS 2006»
8 years 10 months ago
A Generalization of ACP Using Belnap's Logic
ACP is combined with Belnap's four-valued logic via conditional composition (if
Alban Ponse, Mark van der Zwaag
ENTCS
2006
136views more  ENTCS 2006»
8 years 10 months ago
A "Hardware Compiler" Semantics for Handel-C
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
ENTCS
2006
273views more  ENTCS 2006»
8 years 10 months ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
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
ENTCS
2006
94views more  ENTCS 2006»
8 years 10 months ago
Computation of Wave Fronts on a Disk I: Numerical Experiments
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
ENTCS
2006
96views more  ENTCS 2006»
8 years 10 months ago
Topological Analysis of Refinement
Michael Huth
books