The Meaning of Negative Premises in Transition System Specifications II (extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationAutomata, Languages and Programming: 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings
EditorsF. Meyer auf der Heide, B. Monien
PublisherSpringer
Pages502-513
Number of pages12
Volume1099
ISBN (Electronic)978-3-540-68580-7
ISBN (Print)978-3-540-61440-1
DOIs
Publication statusPublished - 26 Jun 1996
EventThe 23rd International Colloquium on Automata, Languages, and Programming, 1996
- Paderborn, Germany
Duration: 8 Jul 199612 Jul 1996
Conference number: 23
https://link.springer.com/chapter/10.1007/3-540-61440-0_154

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
Volume1099
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceThe 23rd International Colloquium on Automata, Languages, and Programming, 1996
Abbreviated titleICALP 1996
Country/TerritoryGermany
CityPaderborn
Period8/07/9612/07/96
Internet address

Fingerprint

Dive into the research topics of 'The Meaning of Negative Premises in Transition System Specifications II (extended abstract)'. Together they form a unique fingerprint.

Cite this