1 Search Results for "Jakob, Julian"

Document
DOI: 10.4230/LIPIcs.CONCUR.2018.22
A Semantics for Hybrid Iteration

Authors: Sergey Goncharov, Julian Jakob, and Renato Neves

Published in: LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018)

Abstract
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time - we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations.
Cite as

Sergey Goncharov, Julian Jakob, and Renato Neves. A Semantics for Hybrid Iteration. In 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 118, pp. 22:1-22:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{goncharov_et_al:LIPIcs.CONCUR.2018.22,
  author =	{Goncharov, Sergey and Jakob, Julian and Neves, Renato},
  title =	{{A Semantics for Hybrid Iteration}},
  booktitle =	{29th International Conference on Concurrency Theory (CONCUR 2018)},
  pages =	{22:1--22:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-087-3},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{118},
  editor =	{Schewe, Sven and Zhang, Lijun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.22},
  URN =		{urn:nbn:de:0030-drops-95604},
  doi =		{10.4230/LIPIcs.CONCUR.2018.22},
  annote =	{Keywords: Elgot iteration, guarded iteration, hybrid monad, Zeno behaviour}
}
  • Refine by Author
  • 1 Goncharov, Sergey
  • 1 Jakob, Julian
  • 1 Neves, Renato

  • Refine by Classification
  • 1 Theory of computation → Timed and hybrid models

  • Refine by Keyword
  • 1 Elgot iteration
  • 1 Zeno behaviour
  • 1 guarded iteration
  • 1 hybrid monad

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact