Mapping Petri Nets onto a Calculus of Context-Aware Ambients

Autor: François Siewe, Vasileios Germanos, Wen Zeng

Publikováno v: Software, Vol 3, Iss 3, Pp 284-309 (2024)

Petri nets are a graphical notation for describing a class of discrete event dynamic systems whose behaviours are characterised by concurrency, synchronisation, mutual exclusion and conflict. They have been used over the years for the modelling of va

Externí odkaz: https://doaj.org/article/5e38178665524768b4577a2020c91e5e

Eager Functions as Processes (long version)

Autor: Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

Publikováno v: Theoretical Computer Science
Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2022.01.043⟩

We study Milner's encoding of the call-by-value $\lambda$-calculus into the $\pi$-calculus. We show that, by tuning the encoding to two subcalculi of the $\pi$-calculus (Internal $\pi$ and Asynchronous Local $\pi$), the equivalence on $\lambda$-terms

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::443a4617b436e57ed028379aa3048109
https://hal.archives-ouvertes.fr/hal-03466150

A near-linear-time algorithm for weak bisimilarity on Markov chains

Autor: Jansen, David, Groote, Jan Friso, Timmers, Ferry, Yang, Pengfei, Konnov, Igor, Kovacs, Laura

Publikováno v: 31st International Conference on Concurrency Theory (CONCUR2020), 8:1-8:20
STARTPAGE=8:1;ENDPAGE=8:20;TITLE=31st International Conference on Concurrency Theory (CONCUR2020)

This article improves the time bound for calculating the weak/branching bisimulation minimisation quotient on state-labelled discrete-time Markov chains from O(m n) to an expected-time O(m log4 n), where n is the number of states and m the number of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de5d452cbdde17c3b095b7c41418d57f
https://research.tue.nl/nl/publications/b61095dc-c86e-497d-9fef-8ffc97a4188f

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free

Autor: Gilles Bernot, Ophélie Guinaudeau, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Publikováno v: Biomedical Engineering Systems and Technologies ISBN: 9783030291952
BIOSTEC (Selected Papers)
Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018)
SPRINGER. Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018), pp.167-191, 2019, ⟨10.1007/978-3-030-29196-9_10⟩

International audience; We firstly define an improved version of the spiking neuron model with dendrites introduced in [8] and we focus here on the fundamental mathematical properties of the framework. Our main result is that, under few simplificatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da3c23c0ec07eaae5a9d8f149fb0c29b
https://doi.org/10.1007/978-3-030-29196-9_10

Eager Functions as Processes

Autor: Daniel Hirschkoff, Adrien Durier, Davide Sangiorgi

Publikováno v: the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209152⟩
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science-LICS 18
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science -LICS '18

We study Milner's encoding of the call-by-value $\lambda$-calculus into the $\pi$-calculus. We show that, by tuning the encoding to two subcalculi of the $\pi$-calculus (Internal $\pi$ and Asynchronous Local $\pi$), the equivalence on $\lambda$-terms

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee919f3746b91446332633256ad2fd65
https://hal.archives-ouvertes.fr/hal-01917255