852 search results - page 42 / 171 » entcs 2010 |
ENTCS
2006
14 years 10 months ago
2006
The -calculus is destructive: its main computational mechanism
ENTCS
2006
14 years 10 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
ENTCS
2006
14 years 10 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
ENTCS
2006
14 years 10 months ago
2006
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.
ENTCS
2006
14 years 10 months ago
2006
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.