Towards Choreographic-Based Monitoring
Saved in:
| Published in: | Reversible Computation: Extending Horizons of Computing Vol. 12070 |
|---|---|
| Format: | Book Chapter |
| Language: | English |
| Published: |
Switzerland
Springer International Publishing AG
2020
|
| ISBN: | 3030473600, 9783030473600 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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.6526366 |
| 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/eLvHCXMwtV07T8MwELZoxYAYeIu3MiAWsGTHiZ2MtCp0qhgK6hblqXZJS1JQxa_nLnHSNq2EGFjSNjpHTr_EZ3--u4-QOxmAk4fVDnVjGVHwtwH1Ay6oYkkg3QQ-oqQQm1CDgTMaua9amS4v5ARUmjqLhTv7V6jhHICNqbN_gLu-KJyA7wA6HAF2ODZmxOvcq64bW4RZYDpUqddQB2_0CrYbiYH-NJt86_C30qhyX9WjU4TS5g_d8TQrNdLHk5B2wN9FegzIqhaaLzBZgy-o-MIG47hCej29rK0xBW6eKiEZWxs0TVYKfmwMwatRF9CUYltOlbel4DUva141Cl73Ol1YFCHT6TnKQ5vZB0WZMNxO15opLdJSCoe1d96vKTUTXCs0xAyeus9ljaXl77rwVFlbuNHFDYdczDKGh2QfM08MTAmBnh6RnTg9JgeV7oahh-ETcq8BMrYAZCwBOiVvz71ht0-13gWd4XYwjTmH18SHJW1su1FkB5aKBDcT7sM8zlKOj9Ufme9yX9pJqGTsRJaAGZcp7MCMw0SckXY6TeNzYrhMOMxNbOVb8Ada0g8dDLewJLyZYRTyC_JY3ahX7MrrUOCwvMPcE2gtbIDA49L51XwdsMu_mV-RveWDek3a8-wzviG74dd8kme3BcY_FUtS9A |
| 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 |