200 search results - page 30 / 40 » Algebraic Operational Semantics and Occam |
84
Voted
IFM
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
143
Voted
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
127
click to vote
SSD
1993
Springer
15 years 2 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
114
click to vote
CONCUR
2006
Springer
15 years 24 days ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
103
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...