Skip to content

Transition System Specifications with Negative Premises (Extended Abstract).

Jan Friso Groote

VenueBCONCUR
Year1990
ProceedingsCONCUR

Browse the full CONCUR paper archive.