Published in: LIPIcs, Volume 35, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Ionut Tutu and José Luiz Fiadeiro. Revisiting the Institutional Approach to Herbrand’s Theorem. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 304-319, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{tutu_et_al:LIPIcs.CALCO.2015.304, author = {Tutu, Ionut and Fiadeiro, Jos\'{e} Luiz}, title = {{Revisiting the Institutional Approach to Herbrand’s Theorem}}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)}, pages = {304--319}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-84-2}, ISSN = {1868-8969}, year = {2015}, volume = {35}, editor = {Moss, Lawrence S. and Sobocinski, Pawel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.304}, URN = {urn:nbn:de:0030-drops-55419}, doi = {10.4230/LIPIcs.CALCO.2015.304}, annote = {Keywords: Institution theory, Substitution systems, Herbrand’s theorem} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
José Luiz Fiadeiro, Ugo Montanari, and Martin Wirsing. 05081 Abstracts Collection – Foundations of Global Computing. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{fiadeiro_et_al:DagSemProc.05081.1, author = {Fiadeiro, Jos\'{e} Luiz and Montanari, Ugo and Wirsing, Martin}, title = {{05081 Abstracts Collection – Foundations of Global Computing}}, booktitle = {Foundations of Global Computing}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.1}, URN = {urn:nbn:de:0030-drops-4590}, doi = {10.4230/DagSemProc.05081.1}, annote = {Keywords: Global Computing} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Cristóvão Oliveira and Michel Wermelinger. Architectural Views for CommUnity. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{oliveira_et_al:DagSemProc.05081.2, author = {Oliveira, Crist\'{o}v\~{a}o and Wermelinger, Michel}, title = {{Architectural Views for CommUnity}}, booktitle = {Foundations of Global Computing}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.2}, URN = {urn:nbn:de:0030-drops-2967}, doi = {10.4230/DagSemProc.05081.2}, annote = {Keywords: Software Architecture, views, computation, coordination, distribution} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Jens Gustedt. Data Handover: Reconciling Message Passing and Shared Memory. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{gustedt:DagSemProc.05081.3, author = {Gustedt, Jens}, title = {{Data Handover: Reconciling Message Passing and Shared Memory}}, booktitle = {Foundations of Global Computing}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.3}, URN = {urn:nbn:de:0030-drops-2977}, doi = {10.4230/DagSemProc.05081.3}, annote = {Keywords: Efficient data management, message passing, shared memory} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Maura Cerioli and Matteo Dell'Amico. Injecting Distribution in CASL. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{cerioli_et_al:DagSemProc.05081.4, author = {Cerioli, Maura and Dell'Amico, Matteo}, title = {{Injecting Distribution in CASL}}, booktitle = {Foundations of Global Computing}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.4}, URN = {urn:nbn:de:0030-drops-2981}, doi = {10.4230/DagSemProc.05081.4}, annote = {Keywords: P2P, CASL, algebraic specification language, specification library} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Ivan Lanese and Ugo Montanari. Insights emerged while comparing three models for global computing. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{lanese_et_al:DagSemProc.05081.5, author = {Lanese, Ivan and Montanari, Ugo}, title = {{Insights emerged while comparing three models for global computing}}, booktitle = {Foundations of Global Computing}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.5}, URN = {urn:nbn:de:0030-drops-2955}, doi = {10.4230/DagSemProc.05081.5}, annote = {Keywords: Fusion Calculus, graph transformation, synchronized hyperedge replacement, logic programming, mobility} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Francisco Martins, Liliana Salvador, Vasco T. Vasconcelos, and Luís Lopes. MiKO---Mikado Koncurrent Objects. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{martins_et_al:DagSemProc.05081.6, author = {Martins, Francisco and Salvador, Liliana and Vasconcelos, Vasco T. and Lopes, Lu{\'\i}s}, title = {{MiKO---Mikado Koncurrent Objects}}, booktitle = {Foundations of Global Computing}, pages = {1--43}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.6}, URN = {urn:nbn:de:0030-drops-3014}, doi = {10.4230/DagSemProc.05081.6}, annote = {Keywords: Global computing, code migration, administrative domains, process calculus} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Mark-Oliver Stehr and Carolyn Talcott L.. Practical Techniques for Language Design and Prototyping. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{stehr_et_al:DagSemProc.05081.7, author = {Stehr, Mark-Oliver and Talcott L., Carolyn}, title = {{Practical Techniques for Language Design and Prototyping}}, booktitle = {Foundations of Global Computing}, pages = {1--38}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.7}, URN = {urn:nbn:de:0030-drops-3006}, doi = {10.4230/DagSemProc.05081.7}, annote = {Keywords: Rewriting logic, explicit substitutions, operational semantics, active networks, active objects} }
Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)
Catuscia Palamidessi and Mohit Bhargava. Probabilistic Anonymity. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{palamidessi_et_al:DagSemProc.05081.8, author = {Palamidessi, Catuscia and Bhargava, Mohit}, title = {{Probabilistic Anonymity}}, booktitle = {Foundations of Global Computing}, pages = {1--25}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5081}, editor = {Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.8}, URN = {urn:nbn:de:0030-drops-2992}, doi = {10.4230/DagSemProc.05081.8}, annote = {Keywords: Anonymity, probability theory, process calculi} }
Feedback for Dagstuhl Publishing