Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Jules Jacobs. A Self-Dual Distillation of Session Types. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 23:1-23:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{jacobs:LIPIcs.ECOOP.2022.23, author = {Jacobs, Jules}, title = {{A Self-Dual Distillation of Session Types}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {23:1--23:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.23}, URN = {urn:nbn:de:0030-drops-162518}, doi = {10.4230/LIPIcs.ECOOP.2022.23}, annote = {Keywords: Linear types, concurrency, lambda calculus, session types} }
Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)
Frank Leymann, Tony Shan, Olaf Zimmermann, and Willem-Jan van den Heuvel. 09021 Abstracts Collection – Software Service Engineering. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{leymann_et_al:DagSemProc.09021.1, author = {Leymann, Frank and Shan, Tony and Zimmermann, Olaf and van den Heuvel, Willem-Jan}, title = {{09021 Abstracts Collection – Software Service Engineering}}, booktitle = {Software Service Engineering}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9021}, editor = {Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.1}, URN = {urn:nbn:de:0030-drops-20463}, doi = {10.4230/DagSemProc.09021.1}, annote = {Keywords: Service engineering, software engineering, service-oriented computing, service-oriented analysis and design, SOA, systems engineering, Web engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)
Susanne Patig. Cases of Software Services Design in Practice. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{patig:DagSemProc.09021.3, author = {Patig, Susanne}, title = {{Cases of Software Services Design in Practice}}, booktitle = {Software Service Engineering}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9021}, editor = {Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.3}, URN = {urn:nbn:de:0030-drops-20473}, doi = {10.4230/DagSemProc.09021.3}, annote = {Keywords: SOA Design Approaches, Service Design, Case Study} }
Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)
Willem-Jan van den Heuvel, Olaf Zimmermann, Frank Leymann, and Tony Shan. 09021 Executive Summary – Software Service Engineering. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{vandenheuvel_et_al:DagSemProc.09021.2, author = {van den Heuvel, Willem-Jan and Zimmermann, Olaf and Leymann, Frank and Shan, Tony}, title = {{09021 Executive Summary – Software Service Engineering}}, booktitle = {Software Service Engineering}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9021}, editor = {Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.2}, URN = {urn:nbn:de:0030-drops-20412}, doi = {10.4230/DagSemProc.09021.2}, annote = {Keywords: Service engineering, software engineering, service-oriented computing, service-oriented analysis and design, SOA, systems engineering, Web engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)
Harald Wesenberg. Designing Software Services for Business Agility. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{wesenberg:DagSemProc.09021.4, author = {Wesenberg, Harald}, title = {{Designing Software Services for Business Agility}}, booktitle = {Software Service Engineering}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9021}, editor = {Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.4}, URN = {urn:nbn:de:0030-drops-20445}, doi = {10.4230/DagSemProc.09021.4}, annote = {Keywords: Enterprise Architecture, SOA, Domain Driven Design, Business Architecture, Software Service} }
Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)
Cesare Pautasso. On Composing RESTful Services. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{pautasso:DagSemProc.09021.5, author = {Pautasso, Cesare}, title = {{On Composing RESTful Services}}, booktitle = {Software Service Engineering}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9021}, editor = {Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.5}, URN = {urn:nbn:de:0030-drops-20433}, doi = {10.4230/DagSemProc.09021.5}, annote = {Keywords: REST, Web Service Composition, RESTful Service Composition} }
Published in: Dagstuhl Seminar Proceedings, Volume 9021, Software Service Engineering (2009)
Gregor Hohpe. Software Service Engineering - Architect's Dream or Developer's Nightmare?. In Software Service Engineering. Dagstuhl Seminar Proceedings, Volume 9021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{hohpe:DagSemProc.09021.6, author = {Hohpe, Gregor}, title = {{Software Service Engineering - Architect's Dream or Developer's Nightmare?}}, booktitle = {Software Service Engineering}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9021}, editor = {Frank Leymann and Tony Shan and Willen-Jan van den Heuvel and Olaf Zimmermann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09021.6}, URN = {urn:nbn:de:0030-drops-20423}, doi = {10.4230/DagSemProc.09021.6}, annote = {Keywords: Event-based programming, declarative programming, object-document mapping, patterns, process modeling, protocol design, service composition, software} }
Feedback for Dagstuhl Publishing