Fully abstract models for a process language with refinement

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013034 ◽

1989 ◽

pp. 523-548 ◽

Cited By ~ 23

Author(s):

Mogens Nielsen ◽

Uffe Engberg ◽

Kim S. Larsen

Download Full-text