Place bisimulation equivalences for design of concurrent and sequential systems

Sorry, there's nothing here.

Cite this paper

@article{Tarasyuk1998PlaceBE, title={Place bisimulation equivalences for design of concurrent and sequential systems}, author={Igor V. Tarasyuk}, journal={Electr. Notes Theor. Comput. Sci.}, year={1998}, volume={18}, pages={191-206} }