1438 search results - page 106 / 288 » An Expressive Extension of TLC |
103
Voted
FSTTCS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
112
Voted
HYBRID
1994
Springer
15 years 4 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
123
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
102
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
AISC
2008
Springer
15 years 2 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...