Towards Meta-Reasoning in the Concurrent Logical Framework CLF
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive. In this paper, we propose an extension of L...
Main Authors: | Iliano Cervesato, Jorge Luis Sacchini |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2013-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1307.7440v1 |
Similar Items
-
Relating Reasoning Methodologies in Linear Logic and Process Algebra
by: Yuxin Deng, et al.
Published: (2012-11-01) -
Formalization of Automated Trading Systems in a Concurrent Linear Framework
by: Iliano Cervesato, et al.
Published: (2019-04-01) -
Specifying and reasoning about concurrent systems in logic
by: Gilbert, David Roger
Published: (1990) -
Transformation of CLF to ISS-CLF for Nonlinear Systems with Disturbance and Construction of Nonlinear Robust Controller with L2 Gain Performance
by: Keizo Okano, et al.
Published: (2014-01-01) -
The sortase A substrates FnbpA, FnbpB, ClfA and ClfB antagonize colony spreading of Staphylococcus aureus.
by: Eleni Tsompanidou, et al.
Published: (2012-01-01)