510 search results - page 9 / 102 » An Algebraic Framework for Urgency |
122
click to vote
COMPASS
1991
15 years 5 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
ENTCS
2008
15 years 2 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
122
Voted
ECEASST
2006
15 years 2 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
111
click to vote
COORDINATION
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
ACTAC
2002
15 years 1 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...