On the composition of regional structures and their logics
This extended abstract presents ideas and results from a paper submitted to ART2013, a workshop on the theory and applications of regions of transition systems.
BERNARDINELLO Luca;
FERIGATO Carlo;
2015-01-23
University of Palermo
JRC82566
http://fmt.isti.cnr.it/~mtbeek/ICTCS13_Proceedings.pdf,
https://publications.jrc.ec.europa.eu/repository/handle/JRC82566,
Additional supporting files
| File name | Description | File type | |