Full Abstraction in Structural Operational Semantics (extended abstract)

R.J. van Glabbeek

doi:10.1007/978-1-4471-3227-1_7

Full Abstraction in Structural Operational Semantics (extended abstract)

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Algebraic 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
Editors	M. Nivat, C. Rattray, T. Rus, G. Scollo
Publisher	Springer
Pages	75-82
Number of pages	8
DOIs	https://doi.org/10.1007/978-1-4471-3227-1_7
Publication status	Published - 17 Dec 1993
Event	The 3rd International Conference on Algebraic Methodology and Software Technology, 1993 - Enschede, Netherlands Duration: 21 Jun 1993 → 25 Jun 1993 Conference number: 3

Publication series

Name	Workshops in Computing
Publisher	Springer
ISSN (Print)	1431-1682

Conference

Conference	The 3rd International Conference on Algebraic Methodology and Software Technology, 1993
Abbreviated title	AMAST 1993
Country/Territory	Netherlands
City	Enschede
Period	21/06/93 → 25/06/93

Access to Document

10.1007/978-1-4471-3227-1_7Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-1-4471-3227-1_7Licence: All Rights Reserved

Cite this

van Glabbeek, R. J. (1993). Full Abstraction in Structural Operational Semantics (extended abstract). In M. Nivat, C. Rattray, T. Rus, & G. Scollo (Eds.), Algebraic 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 (pp. 75-82). (Workshops in Computing). Springer. https://doi.org/10.1007/978-1-4471-3227-1_7

van Glabbeek, R.J. / Full Abstraction in Structural Operational Semantics (extended abstract). Algebraic 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. editor / M. Nivat ; C. Rattray ; T. Rus ; G. Scollo. Springer, 1993. pp. 75-82 (Workshops in Computing).

@inproceedings{aba43a1baea542e18c98e6ad1c9f5c90,

title = "Full Abstraction in Structural Operational Semantics (extended abstract)",

abstract = "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{\textquoteright}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.",

author = "{van Glabbeek}, R.J.",

year = "1993",

month = dec,

day = "17",

doi = "10.1007/978-1-4471-3227-1_7",

language = "English",

series = "Workshops in Computing",

publisher = "Springer",

pages = "75--82",

editor = "M. Nivat and C. Rattray and T. Rus and G. Scollo",

booktitle = "Algebraic Methodology and Software Technology (AMAST{\textquoteright}93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993",

address = "United Kingdom",

note = "The 3rd International Conference on Algebraic Methodology and Software Technology, 1993, AMAST 1993 ; Conference date: 21-06-1993 Through 25-06-1993",

}

van Glabbeek, RJ 1993, Full Abstraction in Structural Operational Semantics (extended abstract). in M Nivat, C Rattray, T Rus & G Scollo (eds), Algebraic 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. Workshops in Computing, Springer, pp. 75-82, The 3rd International Conference on Algebraic Methodology and Software Technology, 1993, Enschede, Netherlands, 21/06/93. https://doi.org/10.1007/978-1-4471-3227-1_7

Full Abstraction in Structural Operational Semantics (extended abstract). / van Glabbeek, R.J.
Algebraic 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. ed. / M. Nivat; C. Rattray; T. Rus; G. Scollo. Springer, 1993. p. 75-82 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Full Abstraction in Structural Operational Semantics (extended abstract)

AU - van Glabbeek, R.J.

N1 - Conference code: 3

PY - 1993/12/17

Y1 - 1993/12/17

N2 - 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.

AB - 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.

U2 - 10.1007/978-1-4471-3227-1_7

DO - 10.1007/978-1-4471-3227-1_7

M3 - Conference contribution

T3 - Workshops in Computing

SP - 75

EP - 82

BT - Algebraic 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

A2 - Nivat, M.

A2 - Rattray, C.

A2 - Rus, T.

A2 - Scollo, G.

PB - Springer

T2 - The 3rd International Conference on Algebraic Methodology and Software Technology, 1993

Y2 - 21 June 1993 through 25 June 1993

ER -

van Glabbeek RJ. Full Abstraction in Structural Operational Semantics (extended abstract). In Nivat M, Rattray C, Rus T, Scollo G, editors, Algebraic 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. Springer. 1993. p. 75-82. (Workshops in Computing). doi: 10.1007/978-1-4471-3227-1_7

Full Abstraction in Structural Operational Semantics (extended abstract)

Abstract / Description of output

Publication series

Conference

Access to Document

Fingerprint

Cite this