4767 search results - page 75 / 954 » Structures for Abstract Rewriting |
RTA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
TACAS
1999
Springer
14 years 1 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
DEXA
1993
Springer
14 years 29 days ago
1993
Springer
We describe an integration of the hypermedia system HyperPATH with the object-oriented DBMS (OODBMS) O¡ . Providing persistence to a hypertext system was the first motivation of...