R. de Simone. High level devices in Meije-Sccs. Theoretical Computer Science, 40, 1985. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Verification Tools from the CONCUR project - Madelaine (1992) (12 citations) (Correct)
....on the behaviour of free process variables; the result of the evaluation is a set of conditional rules similar to the operational rules defining an operator. Whenever two (open) terms have a finite set of rules, they can be compared with respect to an extended version of strong bisimulation [14]. This gives us the ability to prove algebraic laws of any operator expressible in our semantics definition format. Such bisimulation proofs can be mixed with algebraic reasoning based on rewriting. 15] gives an example of the use of Ecrins for proving equivalence between Meije and Basic Lotos ....
R. de Simone. High level devices in Meije-Sccs. Theoretical Computer Science, 40, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC