A.Bouali S.Larosa S.Gnesi. The integration project in the JACK Environement. EATCS Bulletin, (54), 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatically Proving Up-to Bisimulation - Hirschkoff (1998) (1 citation) (Correct)
.... calculus processes, and shown their expressive power on a prototype implementation 2 . Our system is rather elementary, and cannot be compared as it is with other similar tools (like the Mobility Workbench [14] which is probably the closest to ours, Cesar Aldebaran [4] the Jack Toolkit [2], or the FC2tools package [1] However, the possibility to reason on in nite states processes using the up to techniques is speci c to our tool 3 , and is an important feature in terms of expressiveness, as shown above. Our system could be made more robust by enriching the syntax (e.g. adding ....
A.Bouali, S.Larosa, and S.Gnesi. The integration project in the JACK Environement. EATCS Bulletin, (54), 1994. 14
Automatically Proving Up-to Bisimulation - Hirschkoff (1998) (1 citation) (Correct)
No context found.
A.Bouali S.Larosa S.Gnesi. The integration project in the JACK Environement. EATCS Bulletin, (54), 1994.
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