Sciweavers

Share
ENTCS
2006
144views more  ENTCS 2006»
8 years 8 months ago
Infinitary Howe's Method
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
Paul Blain Levy
ENTCS
2006
184views more  ENTCS 2006»
8 years 8 months ago
Scannerless Boolean Parsing
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
Adam Megacz
ENTCS
2006
114views more  ENTCS 2006»
8 years 8 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
Luca Bortolussi
ENTCS
2006
120views more  ENTCS 2006»
8 years 8 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu
ENTCS
2006
158views more  ENTCS 2006»
8 years 8 months ago
Towards a Subject-Oriented Model-Driven Framework
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
Pablo Amaya, Carlos González, Juan M. Muril...
ENTCS
2006
140views more  ENTCS 2006»
8 years 8 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
Kiyoshi Yamada, Takuo Watanabe
ENTCS
2006
111views more  ENTCS 2006»
8 years 8 months ago
Retracing CSP
Stephen Brookes
ENTCS
2006
99views more  ENTCS 2006»
8 years 8 months ago
V for Virtual
Andrew D. Gordon
ENTCS
2006
129views more  ENTCS 2006»
8 years 8 months ago
Confluence Thanks to Extensional Determinism
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several p...
A. W. Roscoe
books