An ω-Complete Equational Specification of Interleaving

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45022-x_61 ◽

2000 ◽

pp. 729-743 ◽

Cited By ~ 13

Author(s):

W. J. Fokkink ◽

S. P. Luttik

Download Full-text