Labeled Transition Systems

Labeled transition systems are presented as a suitable interleaving semantic model for distributed systems. Some notions of behavioral equivalence are discussed, such as isomorphism equivalence, trace equivalence, and bisimulation equivalence. The non-interleaving model of step transition systems is...

Full description

Saved in:
Bibliographic Details
Published inProcess Algebras for Petri Nets pp. 15 - 34
Main Author Gorrieri, Roberto
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2017
Springer International Publishing
SeriesMonographs in Theoretical Computer Science. An EATCS Series
Subjects
Computer science
Mathematical foundations
Software Engineering
Online AccessGet full text
ISBN9783319555584
3319555588
ISSN1431-2654
2193-2069
DOI10.1007/978-3-319-55559-1_2

Cover

Abstract Labeled transition systems are presented as a suitable interleaving semantic model for distributed systems. Some notions of behavioral equivalence are discussed, such as isomorphism equivalence, trace equivalence, and bisimulation equivalence. The non-interleaving model of step transition systems is also introduced.
AbstractList Labeled transition systems are presented as a suitable interleaving semantic model for distributed systems. Some notions of behavioral equivalence are discussed, such as isomorphism equivalence, trace equivalence, and bisimulation equivalence. The non-interleaving model of step transition systems is also introduced.
Author Gorrieri, Roberto
Author_xml – sequence: 1
  fullname: Gorrieri, Roberto
BookMark eNo1kMtOwzAQRQ0URFr6A7DpDxhmbMf2LFHFS4rEgrK2nNhAoSQhDgv-HreF2Yzmca5075RN2q6NjF0gXCKAuSJjueQSiZe5iKMTB2wq82I360NWCCTJBWg6YvP8_n-zasIKVBK50KU6YQVZoawBolM2T-kdANAiCVsW7LzyddzEsFgNvk3rcd21i6efNMbPdMaOX_wmxflfn7Hn25vV8p5Xj3cPy-uK92hg5Bq0MEReCKVNgIakKgNaUSNG0EGrsiFU2ptGWowy2uABlYoeQh2MJzljuNdN_bBuX-Pg6q77SA7BbYNw2ZmTLntzO-MuB5EZsWf6ofv6jml0cQs1sR0Hv2nefD_GITllFWohHWZGy1-U4Frv
ContentType Book Chapter
Copyright Springer International Publishing AG 2017
Copyright_xml – notice: Springer International Publishing AG 2017
DBID FFUUA
DEWEY 004.360151135
DOI 10.1007/978-3-319-55559-1_2
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3319555596
9783319555591
EISSN 2193-2069
EndPage 34
ExternalDocumentID EBC4841623_11_26
GroupedDBID 0D6
0DA
20A
38.
AABBV
AALVI
ABHTH
ABQUB
ACBPT
ACDJR
ADCXD
AEJLV
AEKFX
AETDV
AEZAY
AGIGN
AGYGE
AIODD
ALBAV
ALMA_UNASSIGNED_HOLDINGS
AZZ
BATQV
BBABE
CRSEL
CZZ
FFUUA
I4C
IEZ
SBO
SWYDZ
TPJZQ
Z7R
Z7U
Z7X
Z7Z
Z81
Z83
Z84
Z85
Z88
ID FETCH-LOGICAL-p170t-6062799a22467d0c9345d182b11e06d645c9146a7c381e3e8da0144ea0dbd7a93
ISBN 9783319555584
3319555588
ISSN 1431-2654
IngestDate Tue Jul 29 19:59:33 EDT 2025
Thu May 29 00:18:25 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum QA75.5-76.95
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p170t-6062799a22467d0c9345d182b11e06d645c9146a7c381e3e8da0144ea0dbd7a93
OCLC 982487099
PQID EBC4841623_11_26
PageCount 20
ParticipantIDs springer_books_10_1007_978_3_319_55559_1_2
proquest_ebookcentralchapters_4841623_11_26
PublicationCentury 2000
PublicationDate 2017
20170414
PublicationDateYYYYMMDD 2017-01-01
2017-04-14
PublicationDate_xml – year: 2017
  text: 2017
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesTitle Monographs in Theoretical Computer Science. An EATCS Series
PublicationSeriesTitleAlternate Monographs Theoret.Computer Science(formerly:EATCS)
PublicationSubtitle The Alphabetization of Distributed Systems
PublicationTitle Process Algebras for Petri Nets
PublicationYear 2017
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Rozenberg, Grzegorz
Henzinger, Monika
Salomaa, Arto
Nielsen, Mogens
Hromkovič, Juraj
RelatedPersons_xml – sequence: 1
  givenname: Monika
  surname: Henzinger
  fullname: Henzinger, Monika
  organization: Faculty of Science, Universität Wien, Wien, Austria
– sequence: 2
  givenname: Juraj
  surname: Hromkovič
  fullname: Hromkovič, Juraj
  organization: Department of Computer Science, Swiss Federal Institute of Technology, Zürich, Switzerland
– sequence: 3
  givenname: Mogens
  surname: Nielsen
  fullname: Nielsen, Mogens
  organization: Department of Computer Science, Aarhus Universitet, Aarhus, Denmark
– sequence: 4
  givenname: Grzegorz
  surname: Rozenberg
  fullname: Rozenberg, Grzegorz
  organization: Leiden Centre of Adv. Computer Science, Leiden University, Leiden, The Netherlands
– sequence: 5
  givenname: Arto
  surname: Salomaa
  fullname: Salomaa, Arto
  organization: Turku Centre of Computer Science, Turku, Finland
SSID ssj0001819285
ssib002801809
Score 1.5573529
Snippet Labeled transition systems are presented as a suitable interleaving semantic model for distributed systems. Some notions of behavioral equivalence are...
SourceID springer
proquest
SourceType Publisher
StartPage 15
SubjectTerms Computer science
Mathematical foundations
Software Engineering
Title Labeled Transition Systems
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=4841623&ppg=26
http://link.springer.com/10.1007/978-3-319-55559-1_2
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV05b8IwFLYKXaoOvVXooQydilzlcK6RIgpCqBNUbFZimwqpAgrp0l_f9xKHHGKhSxRFVvTiz7Hf-T1CnuZwBilHSCpNMacsEIzGpi-oHaH-IQTGrjDb4t0bTtlo5s6KPp9pdUkSv4jfvXUl_0EVngGuWCV7ALK7l8IDuAd84QoIw7Wm_FbdrBnpRZbi3-l-fWLwN-VV6KQNsrCKd6cqD1YbbEq3KNKoV-VlMo5iOHhkRnK-yLaPEom59gdYfs0fkPsDax7FklOrO6jYkA78hC6yfrG9O2o5iQILnnBoSC1uFwdIHjS3a5zW6SnZf-0xDG3aDhgbHIasvyn2_MLYuG6A0iANEKNJjrv90fij8JAhV1vgYkFOLmKQUSYVIu94pDKq4JqIFauhFuhO9YfJOTnFmhIDiz1A6gtypJaX5CzvqGHoDfaKtDUcRgGHoeG4JtO3_qQ3pLp7BV1bvplQDwmgwzBCxj4f_oTQYa4Eay62LGV60mOuCOGYinwBSpNyVCAjtG5VZMpY-lHo3JDmcrVUt8Sw7Ej4DhLro_muWIxmdAy6ogRrWiq_RTr5d_I0xq4Te0X2VVteQaBFnvOp4Dh4y3PqaphC7nCYQp5OIYfR7YNefUdOiiV5T5rJ5kc9gNKWxI8a3T9uTzxt
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Process+Algebras+for+Petri+Nets&rft.au=Gorrieri%2C+Roberto&rft.atitle=Labeled+Transition+Systems&rft.date=2017-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783319555584&rft_id=info:doi/10.1007%2F978-3-319-55559-1_2&rft.externalDBID=26&rft.externalDocID=EBC4841623_11_26
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F4841623-l.jpg