Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

All Linear-Time Congruences for Familiar Operators

Antti Valmari.
The detailed behaviour of a system is often represented as a labelled transition system (LTS) and the abstract behaviour as a stuttering-insensitive semantic congruence. Numerous congruences have been presented in the literature. On the other hand, there have not been many results proving the&nbsp;[&hellip;]
Published on November 12, 2013
Volume 9, Issue 4
  • < Previous
  • 1
  • Next >