Nome |
# |
Fixpoint games on continuous lattices, file e14fb26b-f403-3de1-e053-1705fe0ac030
|
112
|
Automata for true concurrency properties, file e14fb26b-06ff-3de1-e053-1705fe0ac030
|
96
|
Petri nets for modelling and analysing trophic networks, file e14fb268-226e-3de1-e053-1705fe0ac030
|
93
|
Many-to-many information flow policies, file e14fb26a-036a-3de1-e053-1705fe0ac030
|
85
|
A Rice’s Theorem for Abstract Semantics, file e14fb26f-1082-3de1-e053-1705fe0ac030
|
26
|
Fixpoint games on continuous lattices, file e14fb26e-dcb6-3de1-e053-1705fe0ac030
|
24
|
Coalgebraic Behavioral Metrics, file e14fb26b-6e7c-3de1-e053-1705fe0ac030
|
18
|
Minimisation of event structures, file e14fb26c-92b5-3de1-e053-1705fe0ac030
|
11
|
Fixpoint theory – upside down, file e14fb26e-f9ce-3de1-e053-1705fe0ac030
|
11
|
Event structures for Petri nets with persistence, file e14fb26b-6631-3de1-e053-1705fe0ac030
|
9
|
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations, file e14fb26d-2063-3de1-e053-1705fe0ac030
|
8
|
A category of compositional domain-models for separable Stone spaces, file e14fb267-622a-3de1-e053-1705fe0ac030
|
6
|
A Fixed Point Theorem in a Category of Compact Metric Spaces, file e14fb267-6251-3de1-e053-1705fe0ac030
|
6
|
Towards Trace Metrics via Functor Lifting, file e14fb268-1f2c-3de1-e053-1705fe0ac030
|
6
|
Intensional Kleene and Rice theorems for abstract program semantics, file 21d9d0b7-0275-4793-8f41-cd41fc8cb747
|
5
|
Multilevel transitive and intransitive non-interference, causally, file e14fb26a-7ec9-3de1-e053-1705fe0ac030
|
5
|
Domains and event structures for fusions, file e14fb26e-6602-3de1-e053-1705fe0ac030
|
4
|
(Un)Decidability for History Preserving True Concurrent Logics, file e14fb26e-d231-3de1-e053-1705fe0ac030
|
4
|
Petri nets for modelling metabolic pathways: a survey, file e14fb267-7d20-3de1-e053-1705fe0ac030
|
3
|
Multilevel Transitive and Intransitive Non-interference, Causally, file e14fb268-8f24-3de1-e053-1705fe0ac030
|
3
|
Behavioural logics for configuration structures, file aab0683e-ff8d-4a8b-9f5c-ef8e4f0cbef9
|
2
|
Intransitive Non-Interference by Unfolding, file e14fb267-5f4b-3de1-e053-1705fe0ac030
|
2
|
Basic theory of F-bounded quantification, file e14fb267-6227-3de1-e053-1705fe0ac030
|
2
|
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space, file e14fb267-6228-3de1-e053-1705fe0ac030
|
2
|
Contextual Petri nets, asymmetric event structures and processes, file e14fb267-6229-3de1-e053-1705fe0ac030
|
2
|
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs, file e14fb267-622c-3de1-e053-1705fe0ac030
|
2
|
Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets, file e14fb267-7731-3de1-e053-1705fe0ac030
|
2
|
Comparison of Metabolic Pathways by Considering Potential Fluxes, file e14fb267-9ea6-3de1-e053-1705fe0ac030
|
2
|
Comparing metabolic pathways through potential fluxes: a selective opening approach, file e14fb267-b5a7-3de1-e053-1705fe0ac030
|
2
|
MPath2PN - Translating Metabolic Pathways into Petri Nets, file e14fb267-b631-3de1-e053-1705fe0ac030
|
2
|
Modular encoding of synchronous and asynchronous interactions using open Petri nets, file e14fb268-1419-3de1-e053-1705fe0ac030
|
2
|
Reduction of event structures under history preserving bisimulation, file e14fb269-594d-3de1-e053-1705fe0ac030
|
2
|
Petri nets for modelling and analysing trophic networks, file e14fb26b-850d-3de1-e053-1705fe0ac030
|
2
|
Characterising Spectra of Equivalences for Event Structures, Logically, file 1e649b83-ec12-47ad-8dfd-89c27eb7eeb4
|
1
|
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures, file e14fb267-5f31-3de1-e053-1705fe0ac030
|
1
|
A lattice-theoretical perspective on adhesive categories, file e14fb267-626e-3de1-e053-1705fe0ac030
|
1
|
McMillan's Complete Prefix for Contextual Nets, file e14fb267-7732-3de1-e053-1705fe0ac030
|
1
|
A Logic for True Concurrency, file e14fb267-7d22-3de1-e053-1705fe0ac030
|
1
|
A Logic for True Concurrency, file e14fb267-b985-3de1-e053-1705fe0ac030
|
1
|
A causal view on non-interference, file e14fb268-1417-3de1-e053-1705fe0ac030
|
1
|
Concurrency Can't Be Observed, Asynchronously, file e14fb268-1ddf-3de1-e053-1705fe0ac030
|
1
|
null, file e14fb268-8c29-3de1-e053-1705fe0ac030
|
1
|
Preface, file e14fb269-a4c8-3de1-e053-1705fe0ac030
|
1
|
Local model checking in a logic for true concurrency, file e14fb269-ac06-3de1-e053-1705fe0ac030
|
1
|
Domains and event structures for fusions, file e14fb26a-0573-3de1-e053-1705fe0ac030
|
1
|
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, file e14fb26b-1a42-3de1-e053-1705fe0ac030
|
1
|
Many-to-many information flow policies, file e14fb26b-1a43-3de1-e053-1705fe0ac030
|
1
|
Concurrent semantics for fusions: Weak prime domains and connected event structures, file e14fb270-18e0-3de1-e053-1705fe0ac030
|
1
|
Totale |
576 |