DMCA

A Complete Axiomatisation for Trace Congruence of Finite State Behaviors (1993)

Cached

Download Links

by Alexander Rabinovich
Venue:Proceedings of Mathematical Foundations of Programming Semantics (IX), LNCS
Citations:4 - 0 self