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.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/eLvHCXMwtV09T8MwELUAMSAGvsW3MiAWsBTHSeyMtCp0QIgBKrbIsR3RJS1JQYhfzzlx0iZUQgwsURvZlaOX3p2f7-4hdEGI1JHyBGbSTbGvdYq5Ih7W4FzSlGpBSip7dM8eHvjLS_RolemKUk6AZRn__Iym_wo13AOwTensH-BufhRuwGcAHa4AO1w7EXGbe7V9Y8s0C1MOVek1NMkbg5LtNsTAcJKPv2z6WzWodl_1q1Om0hZX_ddJXmmkv44l7oG_U9YG5PUMyxd4bocvqPnCDuO4QHrd3LX2mNQcnjIaum7LaHpuJfjxwwQvZl3AVGzmEsziJQ2vSdXzqtPwetDrw6bIMJ0xZ7EZM33DRibMHKdbzZRVtMqYMWsjMmwoNQ9cK0w0FTzNmqseS_PvTeOpqrdwZ4k_HHIZZTxto01TeeKYkhBY6Q5a0dku2qp1NxxrhvfQpQXIWQKQMwdoHz3fDp76Q2z1LvDUHAdjTUhCqIAtrQ4ipYLEZ4rCX4YIiON8xoXp_uiKiIgwSCULNVc-hYjLo0HiaZnSA7SWTTJ9iBwZCp1Q5QZcmSRhLwkkc3nCVRBQKZQ8Qtf1g8blqbxNBZbVExYxhJUUImmAICYh_3V4G7Djvw0_QRvzF_UUrc3yd32G1uXHbFzk5yXG3yVbVK8 |
| 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 |