Formats of ordered SOS rules with silent actions

TAPSOFT '97: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/bfb0030605 ◽

1997 ◽

pp. 297-308 ◽

Author(s):

Irek Ulidowski ◽

Iain Phillips

Download Full-text