Full Abstraction in Structural Operational Semantics (extended abstract)

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

Abstract / Description of output

This paper explores the connection between semantic equivalences for concrete sequential processes, represented by means of transition systems, and formats of transition system specifications using Plotkin’s structural approach. For several equivalences in the linear time — branching time spectrum a format is given, as general as possible, such that this equivalence is a congruence for all operators specifiable in that format. And for several formats it is determined what is the coarsest congruence with respect to all operators in this format that is finer than partial or completed trace equivalence.

Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
EditorsM. Nivat, C. Rattray, T. Rus, G. Scollo
PublisherSpringer London
Pages75-82
Number of pages8
DOIs
Publication statusPublished - 17 Dec 1993
EventThe 3rd International Conference on Algebraic Methodology and Software Technology, 1993 - Enschede, Netherlands
Duration: 21 Jun 199325 Jun 1993
Conference number: 3

Publication series

NameWorkshops in Computing
PublisherSpringer
ISSN (Print)1431-1682

Conference

ConferenceThe 3rd International Conference on Algebraic Methodology and Software Technology, 1993
Abbreviated titleAMAST 1993
Country/TerritoryNetherlands
CityEnschede
Period21/06/9325/06/93

Fingerprint

Dive into the research topics of 'Full Abstraction in Structural Operational Semantics (extended abstract)'. Together they form a unique fingerprint.

Cite this