Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Torrini, Paolo"'
Publikováno v:
EPTCS 212, 2016, pp. 63-80
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited
Externí odkaz:
http://arxiv.org/abs/1606.06381
Autor:
Torrini, Paolo, Schrijvers, Tom
Publikováno v:
EPTCS 191, 2015, pp. 143-157
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics. Unfortunately it is highly challenging to implement this technique in proof assistants that
Externí odkaz:
http://arxiv.org/abs/1509.03021
Autor:
Torrini, Paolo
Topology is used in many applications that may benefit from the automation of spatial reasoning, notably in geographic information systems and in graphics. Reasoning about topology is known to be intrinsically complex, and difficult to be dealt with
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.529173
Autor:
Torrini, Paolo, Heckel, Reiko
Publikováno v:
EPTCS 22, 2010, pp. 14-25
Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO
Externí odkaz:
http://arxiv.org/abs/1003.5512
Autor:
Torrini, Paolo, Heckel, Reiko
Publikováno v:
EPTCS 12, 2009, pp. 99-115
Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified linear logi
Externí odkaz:
http://arxiv.org/abs/0911.5525
Publikováno v:
Electronic Communications of the EASST Open Access Journal
18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018)
18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. ⟨10.14279/tuj.eceasst.76.1080⟩
18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018)
18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. ⟨10.14279/tuj.eceasst.76.1080⟩
The development of provably secure OS kernels represents a fundamental step in the creation of safe and secure systems. To this aim, we propose the notion of protokernel and an implementation — the Pip protokernel — as a separation kernel whose t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e0de8249366fd4c1823a3875f91dbe8
https://hal.archives-ouvertes.fr/hal-01816830
https://hal.archives-ouvertes.fr/hal-01816830
Graph transformation can be used to implement stochastic simulation of dynamic systems based on semi-Markov processes, extending the standard approach based on Markov chains. The result is a discrete event system, where states are graphs, and events
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da2d5e74b70ad6c07e21828187675367
We address the modelling and validation of P2P networks with special attention for problems related to VoIP services, focusing particularly on Skype. We use generalised stochastic graph transformation systems and associated stochastic simulation tech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ddb346cb5a5979f2dd15c43d2953969
Autor:
Torrini, Paolo
Publikováno v:
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, p409-424, 16p
Publikováno v:
Transactions on Aspect-Oriented Software Development XII; 2015, p132-179, 48p