2015
Report
Open Access
On space in CARMA
Ciancia V., Latella D., Massink M.
A discussion on embedding space in CARMA is provided and a solution based on Closure Spaces is proposed. An example is shown.Source: ISTI Technical reports, 2015
Project(s): QUANTICOL
Ciancia V., Latella D., Massink M.
A discussion on embedding space in CARMA is provided and a solution based on Closure Spaces is proposed. An example is shown.Source: ISTI Technical reports, 2015
Project(s): QUANTICOL
See at:
ISTI Repository 
| CNR ExploRA
2017
Report
Open Access
Spatial model checking for medical imaging - Preliminary version
Banci Bonamici F., Belmonte G., Ciancia V., Latella D., Massink M.
The application of the topochecker spatial-model-cheker to medical imaging is described.Source: ISTI Technical reports, 2017
Project(s): QUANTICOL
Banci Bonamici F., Belmonte G., Ciancia V., Latella D., Massink M.
The application of the topochecker spatial-model-cheker to medical imaging is described.Source: ISTI Technical reports, 2017
Project(s): QUANTICOL
See at:
ISTI Repository | CNR ExploRA
2022
Report
Open Access
On the expressive power of IMLC and ISLCS
Ciancia V., Latella D., Massink M., De Vink E. P.
In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (forward) proximity operator.Source: ISTI Technical Report, ISTI-2022-TR/021, 2022
DOI: 10.32079/isti-tr-2022/021
Metrics:
Ciancia V., Latella D., Massink M., De Vink E. P.
In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (forward) proximity operator.Source: ISTI Technical Report, ISTI-2022-TR/021, 2022
DOI: 10.32079/isti-tr-2022/021
Metrics:
See at:
ISTI Repository | CNR ExploRA
2023
Report
Open Access
SLCS on face-poset models and bisimilarities on quasi-discrete closure models
Ciancia V., Latella D., Massink M.
We define SLCS\eta, a weaker logic than SLCS\gamma, and we interpret it on face-poset models. We show the relationship between the equivalence induced by the two logics, namely =SLCS\gamma and =SLCS\eta and bisimilarities of finite closure models proposed in the literature.Source: 10.32079/ISTI-TR-2023/009, 2023
DOI: 10.32079/isti-tr-2023/009
Metrics:
Ciancia V., Latella D., Massink M.
We define SLCS\eta, a weaker logic than SLCS\gamma, and we interpret it on face-poset models. We show the relationship between the equivalence induced by the two logics, namely =SLCS\gamma and =SLCS\eta and bisimilarities of finite closure models proposed in the literature.Source: 10.32079/ISTI-TR-2023/009, 2023
DOI: 10.32079/isti-tr-2023/009
Metrics:
See at:
ISTI Repository | CNR ExploRA
2014
Journal article
Open Access
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M.
It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.Source: ERCIM news 98 (2014): 32–32.
Project(s): QUANTICOL
Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M.
It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.Source: ERCIM news 98 (2014): 32–32.
Project(s): QUANTICOL
See at:
ercim-news.ercim.eu | CNR ExploRA
2014
Other
Open Access
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M.
It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.Project(s): QUANTICOL
Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M.
It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.Project(s): QUANTICOL
See at:
ercim-news.ercim.eu | ISTI Repository | CNR ExploRA
2017
Contribution to journal
Open Access
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy
Belmonte G., Ciancia V., Latella D., Massink M., Biondi M., De Otto G., Nardone V., Rubino G., Vanzi E., Banci Buonamici F.
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy is presented. The method is based on spatial logics and spatial model-checking.Source: Magma (New York, N.Y.) 30 (2017): 437–438. doi:10.1007/s10334-017-0634-z
DOI: 10.1007/s10334-017-0634-z
Metrics:
Belmonte G., Ciancia V., Latella D., Massink M., Biondi M., De Otto G., Nardone V., Rubino G., Vanzi E., Banci Buonamici F.
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy is presented. The method is based on spatial logics and spatial model-checking.Source: Magma (New York, N.Y.) 30 (2017): 437–438. doi:10.1007/s10334-017-0634-z
DOI: 10.1007/s10334-017-0634-z
Metrics:
See at:
Magnetic Resonance Materials in Physics Biology and Medicine | Magnetic Resonance Materials in Physics Biology and Medicine 
| link.springer.com | CNR ExploRA
2020
Report
Open Access
A spatial model checker in GPU (extended version)
Bussi L., Ciancia V., Gadducci F.
The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached state-of-the-art accuracy. We present a new, GPU-based version of voxlogica and discuss its implementation, scalability, and applications.Source: ISTI Research report, IT- MaTTerS, 2020
Bussi L., Ciancia V., Gadducci F.
The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached state-of-the-art accuracy. We present a new, GPU-based version of voxlogica and discuss its implementation, scalability, and applications.Source: ISTI Research report, IT- MaTTerS, 2020
See at:
arxiv.org | ISTI Repository | CNR ExploRA
2023
Software
Unknown
A toolchain for strategy synthesis with spatial properties - Complementary material
Basile D., Ter Beek M. H., Bussi L., Ciancia V.
This is the complementary material for our paper ``A Toolchain for Strategy Synthesis with Spatial Properties'' accepted for publication at the Journal of Software Tools and Technology Transfer. This repository contains a permanent snapshot of https://github.com/contractautomataproject/CATLib_PngConverter/tree/ec0938043146b008bbbcb4ed3ec79c06dd2e47d6DOI: 10.5281/zenodo.8220527
Metrics:
Basile D., Ter Beek M. H., Bussi L., Ciancia V.
This is the complementary material for our paper ``A Toolchain for Strategy Synthesis with Spatial Properties'' accepted for publication at the Journal of Software Tools and Technology Transfer. This repository contains a permanent snapshot of https://github.com/contractautomataproject/CATLib_PngConverter/tree/ec0938043146b008bbbcb4ed3ec79c06dd2e47d6DOI: 10.5281/zenodo.8220527
Metrics:
See at: CNR ExploRA
2014
Report
Open Access
Logics of space and time
Ciancia V., Latella D., Massink M.
We review some literature in the field of spatial logics. The selection of papers we make is intended as an introductory guide in this broad area. In perspective, this review should be expanded in the future and become tailored to the use of spatial reasoning in the context of population models and their ODE / PDE approximations. The application to keep in mind is the analysis of population models where individuals are scattered over a spatial structure. In this context, typically, space is intended to be multi-dimensional, discrete or continuous; it may be useful to think in terms of Euclidean spaces, but also graph-based relational models may be the subject of spatial reasoning. Furthermore, metrics, measures, probabilities and rates may also be part of the requirements of an analysis methodology.Source: ISTI Technical reports, 2014
Project(s): QUANTICOL
Ciancia V., Latella D., Massink M.
We review some literature in the field of spatial logics. The selection of papers we make is intended as an introductory guide in this broad area. In perspective, this review should be expanded in the future and become tailored to the use of spatial reasoning in the context of population models and their ODE / PDE approximations. The application to keep in mind is the analysis of population models where individuals are scattered over a spatial structure. In this context, typically, space is intended to be multi-dimensional, discrete or continuous; it may be useful to think in terms of Euclidean spaces, but also graph-based relational models may be the subject of spatial reasoning. Furthermore, metrics, measures, probabilities and rates may also be part of the requirements of an analysis methodology.Source: ISTI Technical reports, 2014
Project(s): QUANTICOL
See at:
milner.inf.ed.ac.uk | ISTI Repository | CNR ExploRA
2014
Contribution to book
Restricted
Quantitative Evaluation of Enforcement Strategies
Ciancia V., Martinelli F., Matteucci I., Morisset C.
A security enforcement mechanism runs in parallel with a system to check and modify its run-time behaviour, so that it satisfies some security policy. For each policy, several enforcement strategies are possible, usually reflecting trade-offs one has to make to satisfy the policy. To evaluate them, multiple dimensions, such as security, cost of implementation, or cost of attack, must be taken into account. We propose a formal framework for the quantification of enforcement strategies, extending the notion of controller processes (mimicking the well-known edit automata) with weights on transitions, valued in a semiring.Source: Foundations and Practice of Security. 6th International Symposium. Revised Selected Papers, edited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood, pp. 178–186, 2014
DOI: 10.1007/978-3-319-05302-8_11
Metrics:
Ciancia V., Martinelli F., Matteucci I., Morisset C.
A security enforcement mechanism runs in parallel with a system to check and modify its run-time behaviour, so that it satisfies some security policy. For each policy, several enforcement strategies are possible, usually reflecting trade-offs one has to make to satisfy the policy. To evaluate them, multiple dimensions, such as security, cost of implementation, or cost of attack, must be taken into account. We propose a formal framework for the quantification of enforcement strategies, extending the notion of controller processes (mimicking the well-known edit automata) with weights on transitions, valued in a semiring.Source: Foundations and Practice of Security. 6th International Symposium. Revised Selected Papers, edited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood, pp. 178–186, 2014
DOI: 10.1007/978-3-319-05302-8_11
Metrics:
See at:
doi.org | link.springer.com | CNR ExploRA
2014
Report
Open Access
QUANTICOL - D6.1 - Dissemination plan for the project
Gilmore S., Ter Beek M. H., Bortolussi L., Ciancia V., Galpin V., Hillston J., Massink M., Tribastone M.
This document sets out the dissemination plan for the QUANTICOL project. The project has ambitions to see its research outputs and results disseminated widely in academia and beyond. We present here our plan to achieve this goal and review the progress on the plan which has been achieved in the rst year of the project. This gives an insight into how we see the plan being developed and implemented in later years of the project.Source: Project report, QUANTICOL, Deliverable D6.1, 2014
Project(s): QUANTICOL
Gilmore S., Ter Beek M. H., Bortolussi L., Ciancia V., Galpin V., Hillston J., Massink M., Tribastone M.
This document sets out the dissemination plan for the QUANTICOL project. The project has ambitions to see its research outputs and results disseminated widely in academia and beyond. We present here our plan to achieve this goal and review the progress on the plan which has been achieved in the rst year of the project. This gives an insight into how we see the plan being developed and implemented in later years of the project.Source: Project report, QUANTICOL, Deliverable D6.1, 2014
Project(s): QUANTICOL
See at:
blog.inf.ed.ac.uk | ISTI Repository | CNR ExploRA
2015
Conference article
Open Access
Qualitative and quantitative monitoring of spatio-temporal properties
Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M.
We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of specifying topological properties in a discrete space. The latter is modelled as a weighted graph, and provided with a boolean and a quantitative semantics. Furthermore, we define efficient monitoring algorithms for both the boolean and the quantitative semantics. These are implemented in a Java tool available online. We illustrate the expressiveness of SSTL and the effectiveness of the monitoring procedures on the formation of patterns in a Turing reaction-diffusion system.Source: RV 2015 - Runtime Verification 2015. 6th International Conference, pp. 21–37, Vienna, Austria, 22 - 25 September 2015
DOI: 10.1007/978-3-319-23820-3_2
Project(s): QUANTICOL
Metrics:
Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M.
We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of specifying topological properties in a discrete space. The latter is modelled as a weighted graph, and provided with a boolean and a quantitative semantics. Furthermore, we define efficient monitoring algorithms for both the boolean and the quantitative semantics. These are implemented in a Java tool available online. We illustrate the expressiveness of SSTL and the effectiveness of the monitoring procedures on the formation of patterns in a Turing reaction-diffusion system.Source: RV 2015 - Runtime Verification 2015. 6th International Conference, pp. 21–37, Vienna, Austria, 22 - 25 September 2015
DOI: 10.1007/978-3-319-23820-3_2
Project(s): QUANTICOL
Metrics:
See at:
arts.units.it | Archivio istituzionale della ricerca - Università di Trieste | ISTI Repository | doi.org | link.springer.com | CNR ExploRA
2016
Report
Open Access
ISTI young research award 2016
Barsocchi P., Candela L., Ciancia V., Dellepiane M., Esuli A., Girardi M., Girolami M., Guidotti R., Lonetti F., Malomo L., Moroni D., Nardini F. M., Palumbo F., Pappalardo L., Pascali M. A., Rinzivillo S.
The ISTI Young Researcher Award is an award for young people of Institute of Information Science and Technologies (ISTI) with high scientific production. In particular, the award is granted to young staff members (less than 35 years old) by assessing the yearly scientific production of the year preceding the award. This report documents procedure and results of the 2016 edition of the award.Source: ISTI Technical reports, 2016
Barsocchi P., Candela L., Ciancia V., Dellepiane M., Esuli A., Girardi M., Girolami M., Guidotti R., Lonetti F., Malomo L., Moroni D., Nardini F. M., Palumbo F., Pappalardo L., Pascali M. A., Rinzivillo S.
The ISTI Young Researcher Award is an award for young people of Institute of Information Science and Technologies (ISTI) with high scientific production. In particular, the award is granted to young staff members (less than 35 years old) by assessing the yearly scientific production of the year preceding the award. This report documents procedure and results of the 2016 edition of the award.Source: ISTI Technical reports, 2016
See at:
ISTI Repository | CNR ExploRA
2016
Conference article
Open Access
Nominal cellular automata
Bolognesi T., Ciancia V.
The emerging field of Nominal Computation Theory is concerned with the theory of Nominal Sets and its applications to Computer Science. We investigate here the impact of nominal sets on the definition of Cellular Automata and on their computational capabilities, with a special focus on the emergent behavioural properties of this new model and their significance in the context of computation-oriented interpretations of physical phenomena. A preliminary investigation of the relations between Nominal Cellular Automata and Wolfram's Elementary Cellular Automata is also carried out.Source: ICE 2016 - 9th Interaction and Concurrency Experience, pp. 24–35, Heraklion, Crete, Greece, 8-9 June 2016
DOI: 10.4204/eptcs.223.2
DOI: 10.48550/arxiv.1608.03320
Project(s): QUANTICOL
Metrics:
Bolognesi T., Ciancia V.
The emerging field of Nominal Computation Theory is concerned with the theory of Nominal Sets and its applications to Computer Science. We investigate here the impact of nominal sets on the definition of Cellular Automata and on their computational capabilities, with a special focus on the emergent behavioural properties of this new model and their significance in the context of computation-oriented interpretations of physical phenomena. A preliminary investigation of the relations between Nominal Cellular Automata and Wolfram's Elementary Cellular Automata is also carried out.Source: ICE 2016 - 9th Interaction and Concurrency Experience, pp. 24–35, Heraklion, Crete, Greece, 8-9 June 2016
DOI: 10.4204/eptcs.223.2
DOI: 10.48550/arxiv.1608.03320
Project(s): QUANTICOL
Metrics:
See at:
arXiv.org e-Print Archive | Electronic Proceedings in Theoretical Computer Science | Electronic Proceedings in Theoretical Computer Science | Electronic Proceedings in Theoretical Computer Science | eptcs.web.cse.unsw.edu.au | ISTI Repository | doi.org | CNR ExploRA
2014
Report
Unknown
A spatio-temporal model-checker
Ciancia V., Grilletti G., Latella D., Loreti M., Massink M.
We define a spatio-temporal logic, the Spatio-temporal Logic of Closure Spaces (STLCS). The logic is interpreted on Kripke models, in which each state has an associated closure space. The logic extends CTL with spatial operators, in the spirit of topological modal logic. More specifically, we add to CTL the operators of the Spatial Logic of Closure Spaces, including the spatial until operator, with its intended meaning of a point being surrounded by entities satisfying a specific property. The interplay of space and time permits one to define complex spatio-temporal properties. We present a simple model-checking algorithm for STLCS, which has been implemented in a prototype tool.Source: ISTI Technical reports, 2014
Project(s): QUANTICOL
Ciancia V., Grilletti G., Latella D., Loreti M., Massink M.
We define a spatio-temporal logic, the Spatio-temporal Logic of Closure Spaces (STLCS). The logic is interpreted on Kripke models, in which each state has an associated closure space. The logic extends CTL with spatial operators, in the spirit of topological modal logic. More specifically, we add to CTL the operators of the Spatial Logic of Closure Spaces, including the spatial until operator, with its intended meaning of a point being surrounded by entities satisfying a specific property. The interplay of space and time permits one to define complex spatio-temporal properties. We present a simple model-checking algorithm for STLCS, which has been implemented in a prototype tool.Source: ISTI Technical reports, 2014
Project(s): QUANTICOL
See at: CNR ExploRA
2015
Report
Open Access
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version
Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M.
We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of specifying topological properties in a discrete space. The latter is modelled as a weighted graph, and provided with a boolean and a quantitative semantics. Furthermore, we define efficient monitoring algorithms for both the boolean and the quantitative semantics. These are implemented in a Java tool available online. We illustrate the expressiveness of SSTL and the effectiveness of the monitoring procedures on the formation of patterns in a Turing reaction-diffusion system. Keywords: Signal Spatio-Temporal Logic, Boolean Semantics, Quantitative Semantics, Monitoring Algorithms, Weighted Graphs, Turing Patterns.Source: ISTI Technical reports, 2015
Project(s): QUANTICOL
Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M.
We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of specifying topological properties in a discrete space. The latter is modelled as a weighted graph, and provided with a boolean and a quantitative semantics. Furthermore, we define efficient monitoring algorithms for both the boolean and the quantitative semantics. These are implemented in a Java tool available online. We illustrate the expressiveness of SSTL and the effectiveness of the monitoring procedures on the formation of patterns in a Turing reaction-diffusion system. Keywords: Signal Spatio-Temporal Logic, Boolean Semantics, Quantitative Semantics, Monitoring Algorithms, Weighted Graphs, Turing Patterns.Source: ISTI Technical reports, 2015
Project(s): QUANTICOL
See at:
ISTI Repository | CNR ExploRA
2016
Journal article
Open Access
Spatio-temporal model-checking for collective adaptive systems
Ciancia V., Latella D., Loreti M., Massink M.
Spatial aspects of computation are becoming increasingly relevant when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of system models; however, properties of space are typically not taken into account explicitly. In this position paper we briefly review some of the recent developments of spatial and spatio-temporal model-checking in the context of the European research project QUANTICOL funded by the FET-Proactive programme on Fundamentals of Collective Adaptive Systems. We illustrate some typical applications of spatial and spatio-temporal model checking on collective adaptive systems and provide an outline for further developments.Source: Ada user journal 37 (2016): 223–227.
Project(s): QUANTICOL
Ciancia V., Latella D., Loreti M., Massink M.
Spatial aspects of computation are becoming increasingly relevant when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of system models; however, properties of space are typically not taken into account explicitly. In this position paper we briefly review some of the recent developments of spatial and spatio-temporal model-checking in the context of the European research project QUANTICOL funded by the FET-Proactive programme on Fundamentals of Collective Adaptive Systems. We illustrate some typical applications of spatial and spatio-temporal model checking on collective adaptive systems and provide an outline for further developments.Source: Ada user journal 37 (2016): 223–227.
Project(s): QUANTICOL
See at:
ISTI Repository | www.ada-europe.org | CNR ExploRA
2017
Report
Open Access
ISTI Young Research Award 2017
Barsocchi P., Basile D., Candela L., Ciancia V., Delle Piane M., Esuli A., Ferrari A., Girardi M., Guidotti R., Lonetti F., Moroni D., Nardini F. M., Rinzivillo S., Vadicamo L.
The ISTI Young Researcher Award is an award for young people of Institute of Information Science and Technologies (ISTI) with high scientific production. In particular, the award is granted to young staff members (less than 35 years old) by assessing the yearly scientific production of the year preceding the award. This report documents procedure and results of the 2017 edition of the award.Source: ISTI Technical reports, 2017
Barsocchi P., Basile D., Candela L., Ciancia V., Delle Piane M., Esuli A., Ferrari A., Girardi M., Guidotti R., Lonetti F., Moroni D., Nardini F. M., Rinzivillo S., Vadicamo L.
The ISTI Young Researcher Award is an award for young people of Institute of Information Science and Technologies (ISTI) with high scientific production. In particular, the award is granted to young staff members (less than 35 years old) by assessing the yearly scientific production of the year preceding the award. This report documents procedure and results of the 2017 edition of the award.Source: ISTI Technical reports, 2017
See at:
ISTI Repository | CNR ExploRA
2017
Journal article
Restricted
Exploring nominal cellular automata
Bolognesi T., Ciancia V.
he emerging field of Nominal Computation Theory is concerned with the theory of Nominal Sets and its applications to Computer Science. We investigate here the impact of nominal sets on the definition of Cellular Automata and on their computational capabilities, with a special focus on the emergent behavioural properties of this new model and their significance in the context of computation-oriented interpretations of physical phenomena. An investigation of the relations between Nominal Cellular Automata and Wolfram's Elementary Cellular Automata is carried out, together with an analysis of interesting particles, exhibiting "nominal" behaviour, in a particular kind of rules, reminiscent of the class of totalistic Cellular Automata, that we call "bagged".Source: Journal of Logical and Algebraic Methods in Programming [online] 93 (2017): 23–41. doi:10.1016/j.jlamp.2017.08.001
DOI: 10.1016/j.jlamp.2017.08.001
Project(s): QUANTICOL
Metrics:
Bolognesi T., Ciancia V.
he emerging field of Nominal Computation Theory is concerned with the theory of Nominal Sets and its applications to Computer Science. We investigate here the impact of nominal sets on the definition of Cellular Automata and on their computational capabilities, with a special focus on the emergent behavioural properties of this new model and their significance in the context of computation-oriented interpretations of physical phenomena. An investigation of the relations between Nominal Cellular Automata and Wolfram's Elementary Cellular Automata is carried out, together with an analysis of interesting particles, exhibiting "nominal" behaviour, in a particular kind of rules, reminiscent of the class of totalistic Cellular Automata, that we call "bagged".Source: Journal of Logical and Algebraic Methods in Programming [online] 93 (2017): 23–41. doi:10.1016/j.jlamp.2017.08.001
DOI: 10.1016/j.jlamp.2017.08.001
Project(s): QUANTICOL
Metrics:
See at:
Journal of Logical and Algebraic Methods in Programming | www.sciencedirect.com | CNR ExploRA