Abstract
This paper reviews several methods to associate transition relations to transition system specifications with negative premises in Plotkin's structural operational style. Besides a formal comparison on generality and relative consistency, the methods are also evaluated on their taste in determining which specifications are meaningful and which are not.
Original language | English |
---|---|
Title of host publication | Automata, Languages and Programming: 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings |
Editors | F. Meyer auf der Heide, B. Monien |
Publisher | Springer |
Pages | 502-513 |
Number of pages | 12 |
Volume | 1099 |
ISBN (Electronic) | 978-3-540-68580-7 |
ISBN (Print) | 978-3-540-61440-1 |
DOIs | |
Publication status | Published - 26 Jun 1996 |
Event | The 23rd International Colloquium on Automata, Languages, and Programming, 1996 - Paderborn, Germany Duration: 8 Jul 1996 → 12 Jul 1996 Conference number: 23 https://link.springer.com/chapter/10.1007/3-540-61440-0_154 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 1099 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | The 23rd International Colloquium on Automata, Languages, and Programming, 1996 |
---|---|
Abbreviated title | ICALP 1996 |
Country/Territory | Germany |
City | Paderborn |
Period | 8/07/96 → 12/07/96 |
Internet address |