Towards Choreographic-Based Monitoring
Gespeichert in:
| 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/eLvHCXMwtV09T8MwELUAMSAGvsW3MiAWsBTbSeyMUBU6IMQAiC2yY1t0SUtaEOLXc06clAYkxMASpZEdOXquffd8dw-hEyu4Da22WCXUYvA3NE4VzGVBrDaSpJZUxXQeb_jtrXh6Su-8Mt2kkhPgRSHe39Pxv0INzwBslzr7B7jbl8IDuAfQ4Qqww7VjEc9zr75ubBVm4dKhar2GNnijX7HdjhgYjMrhhw9_qxs121czdapQ2slZ73lU1hrpz8McX8J-p_0aUDY9PF9Aww5f0PCFHcbxC-l1cT3nYzJ3eMpZEoZziyYNa8GPb0vw16gL6IpdX4J59kPBa1Ir6nQKXvcve2DUMLDjRCYy12b8gp1MmDtO95opi2iRc7esPZJBS6lR2FojGroMnnbMdY2l2e-28FRdW7gzxG8bcmVl3K-jVZd5EriUEBjpBlowxSZaa3Q3Ar8Mb6FTD1DwA0DBDKBt9HDVv-8NsNe7wGN3HIwNIYowCS6tiVOtYxVxzQi1RIIdF3EhXfXHUKZEJrHNeWKEjhhYXJTFiprcsh20VIwKs4sCoWLJFIH_YQ72m0mkiJQSJmWSWKsp20PnzYdm1am8DwXO6y-cZPMI_NocvFhHTWeCgy9J9v_29gO0Mpuoh2hpWr6aI7Scv02Hk_K4wvgTSaRU1g |
| 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=168&rft.externalDocID=EBC31734358_8_168 |
| 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 |