Towards Choreographic-Based Monitoring

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Reversible Computation: Extending Horizons of Computing Jg. 12070
Format: Buchkapitel
Sprache:Englisch
Veröffentlicht: Switzerland Springer International Publishing AG 2020
ISBN:3030473600, 9783030473600
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
BookMark eNqNjrtOxDAURI14CLLsF9BsRWe419fxo4RoeUiLaJY6chJnE1jFwQ7i94kAiZZqdEY6o8nY0RAGz9gFwhUC6GurDScOBFxqUsh1qQ5YRnPxzfbwDwBOWIbSCislKDply5ReAUAIa6WAM3a5DZ8uNmlVdCH6sItu7Pqa37rkm9VTGPopxH7YnbPj1u2TX_7mgr3crbfFA9883z8WNxs-CiDFPWKF5OYPPrdNk1dSN4SiRQfaSG0cWpWDs-hU3tZaedNIIoOC8kr4uqUFo5_dMYb3D5-m0lchvNV-mKLb150bJx9TqebvKE1pdIkS_2sRapKUz1qJytAXjQleJw
ContentType Book Chapter
DBID FFUUA
DOI 10.1007/978-3-030-47361-7_6
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3030473619
9783030473617
Editor Ulidowski, Irek
Lanese, Ivan
Schultz, Ulrik Pagh
Ferreira, Carla
Editor_xml – sequence: 1
  fullname: Ulidowski, Irek
– sequence: 2
  fullname: Lanese, Ivan
– sequence: 3
  fullname: Schultz, Ulrik Pagh
– sequence: 4
  fullname: Ferreira, Carla
ExternalDocumentID EBC6420148_87_141
EBC31734358_8_168
GroupedDBID 38.
AABBV
AAKKN
AALJR
AAQKC
ABEEZ
ACGCR
ADOGT
AEDXK
AEHEY
AEJLV
AEJNW
AEKFX
AGWHU
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
APEJL
AVCSZ
AZTDL
BBABE
CYNQG
CZZ
DACMV
EIXGO
ESBCR
FFUUA
I4C
IEZ
OAOFD
OPOMJ
SBO
TPJZQ
TSXQS
V1H
ID FETCH-LOGICAL-p2036-e11b13a619e59dd5b47d312f1a078478a19650a91a65fc76e8d43381235b2ecf3
ISBN 3030473600
9783030473600
IngestDate Tue Oct 21 01:06:12 EDT 2025
Tue Oct 21 10:22:14 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
LCCallNum QA76.9.L63
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p2036-e11b13a619e59dd5b47d312f1a078478a19650a91a65fc76e8d43381235b2ecf3
OCLC 1492944063
1232276862
OpenAccessLink https://link.springer.com/content/pdf/10.1007%2F978-3-030-47361-7_6.pdf
PQID EBC31734358_8_168
ParticipantIDs proquest_ebookcentralchapters_6420148_87_141
proquest_ebookcentralchapters_31734358_8_168
PublicationCentury 2000
PublicationDate 2020
PublicationDateYYYYMMDD 2020-01-01
PublicationDate_xml – year: 2020
  text: 2020
PublicationDecade 2020
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
PublicationSubtitle Selected Results of the COST Action IC1405
PublicationTitle Reversible Computation: Extending Horizons of Computing
PublicationYear 2020
Publisher Springer International Publishing AG
Publisher_xml – name: Springer International Publishing AG
SSID ssj0002299420
Score 1.6527258
SourceID proquest
SourceType Publisher
Title Towards Choreographic-Based Monitoring
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=31734358&ppg=168
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6420148&ppg=141
Volume 12070
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV09b8IwELUK6lB16Lf6rQxVl9ZSHJNcMhZEy4Q60IotcuxEsAQaaIX663tOnAABqerQJYLIRo5euDs_390j5C5Q6DZA2hRUIinuv4BGnp1QxqSbSMWEkiIXm4B-3x8Og1ejTDfL5QQgTf3FIpj-K9R4D8HWpbN_gLv6UbyBnxF0vCLseK1FxOvcq-kbm6dZ6HKoQq-hSt7o5my3JgZ6k2z8bdLfikGl-ypfnTyVdvbQGU2yQiN9NJa0jf5OGRuQlTMMX-DYNb6g5AtrjOMK6fX0srbH5PrwFLhn22tG07ELwY8NE7yadYFTqZ7LKIRbGl6zoudVreF1t93BTZFmOkMfQj1m-kG1TJg-TjeaKQ3SANBm7Z31KkrNQdeKE3UFT7XmosfS8nvVeKroLVxb4oZDzqOMwSHZ15Unli4JwZUekZ04PSYHpe6GZczwCbk3AFlbALKWAJ2St-fuoNOjRu-CTvVxMI0ZixgXuKWN3UApN2qB4sxJmMA4rgW-0N0fbREw4eH_CLzYVy2OEZfD3ciJZcLPSDOdpPE5sWzJPSkEKK1eAC4TiWwBiNjH8N2NfHlBHssHDfNTeZMKLIsnnIUYVnKMpBGCkHn-r8PXAbv82_Arsrd8Ua9Jc559xjdkV37Nx7PsNsf4BxkLVG4
linkProvider Open Access Publishing in European Networks
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=Reversible+Computation%3A+Extending+Horizons+of+Computing&rft.atitle=Towards+Choreographic-Based+Monitoring&rft.date=2020-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030473600&rft.volume=12070&rft_id=info:doi/10.1007%2F978-3-030-47361-7_6&rft.externalDBID=141&rft.externalDocID=EBC6420148_87_141
thumbnail_s http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F31734358-l.jpg
http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6420148-l.jpg