173 search results - page 4 / 35 » Processes for Adhesive Rewriting Systems |
CTCS
1997
Springer
15 years 3 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
DAGSTUHL
2006
15 years 1 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
ICGI
2004
Springer
15 years 5 months ago
2004
Springer
WADT
1997
Springer
15 years 3 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...