Nome |
# |
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451), file e0d6c927-6aa5-fcf8-e053-d805fe0aa794
|
353
|
Data-Driven Choreographies à la Klaim, file e0d6c92d-74ad-fcf8-e053-d805fe0aa794
|
141
|
Adaptable Transition Systems, file e0d6c92c-730e-fcf8-e053-d805fe0aa794
|
64
|
A denotational view of replicated data types, file e0d6c929-66b1-fcf8-e053-d805fe0aa794
|
60
|
A categorical account of replicated data types, file e0d6c932-1cf0-fcf8-e053-d805fe0aa794
|
30
|
Awareness and control in adaptable transition systems, file e0d6c927-6965-fcf8-e053-d805fe0aa794
|
25
|
Residuation for bipolar preferences in soft constraints, file e0d6c930-97dd-fcf8-e053-d805fe0aa794
|
24
|
null, file e0d6c92d-b68d-fcf8-e053-d805fe0aa794
|
22
|
Adaptation is a game, file e0d6c928-19e6-fcf8-e053-d805fe0aa794
|
20
|
Event structures for Petri nets with persistence, file e0d6c92b-3762-fcf8-e053-d805fe0aa794
|
20
|
Modelling and analyzing adaptive self-assembly strategies with Maude, file e0d6c930-90e9-fcf8-e053-d805fe0aa794
|
12
|
Domains and event structures for fusions, file e0d6c929-6587-fcf8-e053-d805fe0aa794
|
7
|
Modelling and analyzing adaptive self-assembly strategies with Maude, file e0d6c926-474f-fcf8-e053-d805fe0aa794
|
6
|
Observational and behavioural equivalences for soft concurrent constraint programming, file e0d6c929-8c2e-fcf8-e053-d805fe0aa794
|
4
|
RPO semantics for Mobile Ambients, file e0d6c926-18ad-fcf8-e053-d805fe0aa794
|
3
|
A general theory of barbs, contexts and labels, file e0d6c926-447d-fcf8-e053-d805fe0aa794
|
3
|
null, file e0d6c928-1b73-fcf8-e053-d805fe0aa794
|
3
|
null, file e0d6c928-21dd-fcf8-e053-d805fe0aa794
|
3
|
Concurrency cannot be observed, asynchronously, file e0d6c928-221c-fcf8-e053-d805fe0aa794
|
3
|
Rewriting with Frobenius, file e0d6c92b-03cc-fcf8-e053-d805fe0aa794
|
3
|
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness, file d13c717e-c2ad-47da-a7c5-b87f3c98fa55
|
2
|
On barbs and labels in reactive systems, file e0d6c926-049a-fcf8-e053-d805fe0aa794
|
2
|
A Conceptual Framework for Adaptation, file e0d6c926-2698-fcf8-e053-d805fe0aa794
|
2
|
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude, file e0d6c926-357a-fcf8-e053-d805fe0aa794
|
2
|
Encoding synchronous interactions using labelled Petri nets, file e0d6c926-447c-fcf8-e053-d805fe0aa794
|
2
|
Asynchronous traces and open Petri nets, file e0d6c927-68fa-fcf8-e053-d805fe0aa794
|
2
|
Residuation for bipolar preferences in soft constraints, file e0d6c928-1647-fcf8-e053-d805fe0aa794
|
2
|
Modular encoding of synchronous and asynchronous interactions using open Petri nets, file e0d6c928-18ad-fcf8-e053-d805fe0aa794
|
2
|
Denotational testing semantics in coinductive form, file e0d6c928-19af-fcf8-e053-d805fe0aa794
|
2
|
null, file e0d6c928-1b54-fcf8-e053-d805fe0aa794
|
2
|
Confluence of graph rewriting with interfaces, file e0d6c929-2928-fcf8-e053-d805fe0aa794
|
2
|
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, file e0d6c92d-cda7-fcf8-e053-d805fe0aa794
|
2
|
Polyadic soft constraints, file e0d6c92e-0a42-fcf8-e053-d805fe0aa794
|
2
|
Domains and event structures for fusions, file e0d6c930-6403-fcf8-e053-d805fe0aa794
|
2
|
Causality and replication in concurrent processes, file e0d6c926-28f7-fcf8-e053-d805fe0aa794
|
1
|
Normal forms for algebras of connections, file e0d6c926-3106-fcf8-e053-d805fe0aa794
|
1
|
Using old computers for teaching computer science, file e0d6c926-3eb7-fcf8-e053-d805fe0aa794
|
1
|
Soft constraints for lexicographic orders, file e0d6c926-3fe5-fcf8-e053-d805fe0aa794
|
1
|
Barbed semantics for open reactive systems, file e0d6c926-433c-fcf8-e053-d805fe0aa794
|
1
|
A white-box perspective on behavioural adaptation, file e0d6c926-433e-fcf8-e053-d805fe0aa794
|
1
|
Reconciling white-box and black-box perspectives on behavioural self-adaptation, file e0d6c926-433f-fcf8-e053-d805fe0aa794
|
1
|
Per un museo nazionale dell'informatica, file e0d6c926-45ad-fcf8-e053-d805fe0aa794
|
1
|
I documenti raccontano le storie delle CEP, file e0d6c926-464f-fcf8-e053-d805fe0aa794
|
1
|
A labelled semantics for Soft Concurrent Constraint Programming, file e0d6c927-6804-fcf8-e053-d805fe0aa794
|
1
|
Extending soft arc consistency algorithms to non-invertible semirings, file e0d6c928-14f8-fcf8-e053-d805fe0aa794
|
1
|
Graph transactions as processes, file e0d6c928-1565-fcf8-e053-d805fe0aa794
|
1
|
Term graph rewriting for the π-calculus, file e0d6c928-164a-fcf8-e053-d805fe0aa794
|
1
|
AGILE: Software architecture for mobility, file e0d6c928-1650-fcf8-e053-d805fe0aa794
|
1
|
Compositional specification of web services via behavioural equivalence of nets: A case study, file e0d6c928-166d-fcf8-e053-d805fe0aa794
|
1
|
A decentralized implementation of Mobile Ambients, file e0d6c928-1748-fcf8-e053-d805fe0aa794
|
1
|
Process bisimulation via a graphical encoding, file e0d6c928-174b-fcf8-e053-d805fe0aa794
|
1
|
A category of explicit fusions, file e0d6c928-1847-fcf8-e053-d805fe0aa794
|
1
|
Graph processes with fusions: Concurrency by colimits, again, file e0d6c928-19a7-fcf8-e053-d805fe0aa794
|
1
|
A term-graph syntax for algebras over multisets, file e0d6c928-19ce-fcf8-e053-d805fe0aa794
|
1
|
Concurrent rewriting for graphs with equivalences, file e0d6c928-1a1f-fcf8-e053-d805fe0aa794
|
1
|
Parallel and sequential independence for borrowed contexts, file e0d6c928-1bee-fcf8-e053-d805fe0aa794
|
1
|
Specifying and verifying UML activity diagrams via graph transformations, file e0d6c928-1c03-fcf8-e053-d805fe0aa794
|
1
|
A soft approach to multi-objective optimization, file e0d6c928-1c33-fcf8-e053-d805fe0aa794
|
1
|
A behavioural congruence for web services, file e0d6c928-1c34-fcf8-e053-d805fe0aa794
|
1
|
Enhancing constraints manipulation in semiring-based formalisms, file e0d6c928-1c37-fcf8-e053-d805fe0aa794
|
1
|
Petri nets are dioids, file e0d6c928-1cc1-fcf8-e053-d805fe0aa794
|
1
|
Graphical encoding of a spatial logic for the π-calculus, file e0d6c928-1deb-fcf8-e053-d805fe0aa794
|
1
|
A graph syntax for processes and services, file e0d6c928-1e58-fcf8-e053-d805fe0aa794
|
1
|
Observing reductions in nominal calculi via a graphical encoding of processes, file e0d6c928-216f-fcf8-e053-d805fe0aa794
|
1
|
Ugo Montanari and friends, file e0d6c928-2261-fcf8-e053-d805fe0aa794
|
1
|
History and Philosophy of Computing: third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers, file e0d6c929-d4e4-fcf8-e053-d805fe0aa794
|
1
|
Encoding asynchronous interactions using open Petri nets, file e0d6c92a-7751-fcf8-e053-d805fe0aa794
|
1
|
On the semantics and implementation of replicated data types, file e0d6c92b-3d9e-fcf8-e053-d805fe0aa794
|
1
|
Giornate Fibonacci: 850° anniversario della nascita di Leonardo Pisano, detto il Fibonacci, Pisa, Università di Pisa, 20-23 novem- bre 2020, file e0d6c931-6613-fcf8-e053-d805fe0aa794
|
1
|
Graph Rewriting Components, file f15dcf32-c4a6-4428-8a6c-fc5c7f552677
|
1
|
Preface, file fb3a9011-aac2-4589-b2e2-0bae200a438d
|
1
|
Totale |
871 |