BISIMULATION IN 2-WAY SIMULATION

Authors
BERGSTRA JA STEFANESCU G
Citation
Ja. Bergstra et G. Stefanescu, BISIMULATION IN 2-WAY SIMULATION, Information processing letters, 52(6), 1994, pp. 285-287
Citations number
11
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
52
Issue
6
Year of publication
1994
Pages
285 - 287
Database
ISI
SICI code
0020-0190(1994)52:6<285:BI2S>2.0.ZU;2-3
Abstract
We give here a simple proof of the fact that on transition systems bis imulation is the equivalence relation generated by simulation via func tions. The proof entirely rests on simple rules of the calculus of rel ations.