Technical Report

Symbolic Bisimulation for Full LOTOS

Citation

Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. University of Stirling Technical Report, CSM 159. University of Stirling.

StatusPublished
Title of seriesUniversity of Stirling Technical Report
Number in seriesCSM 159
Publication date31/10/2000
PublisherUniversity of Stirling