Towards a general theory of action and time
Artificial Intelligence
Theoretical Computer Science
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A mean value calculus of durations
A classical mind
Theoretical Computer Science - Special issue on hybrid systems
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Duration Calculi: An Overview (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
Semantics and Completeness of Duration Calculus
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Modeling Statecharts Behaviour in a Fully Abstract Way
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
Complete Proof Systems for First Order Interval Temporal Logic
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Compositional reasoning about projected and infinite time
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Complete Fragment of Higher-Order Duration µ-Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
An Operational Semantics for Timed RAISE
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A timeband framework for modelling real-time systems
Real-Time Systems
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
| Hi-index | 0.00 |
This paper introduces a super-dense chop modality into the Duration Calculi. The super-dense chop can be used to specify a super-dense computation, where a number of operations happens simultaneously, but in a specific order. With this modality, the paper defines a real-time semantics for an OCCAM-like language. In the semantics, assignments and passing of messages in communications are assumed to be timeless operations.