Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1007/11548133_2guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Labels from reductions: towards a general theory

Published: 03 September 2005 Publication History

Abstract

We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.

References

[1]
H. Ehrig and B. König. Deriving bisimulation congruences in the DPO approach to graph re writing. In Proceedings of FoSSaCS'04, 7th International Conference on Foundations of Software Science and Computation Structures, volume 2987 of LNCS, pages 151-166, 2004.
[2]
F. Gadducci and U. Montanari. The tile model. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, pages 133- 166. MIT Press, 2000.
[3]
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, University of Cambridge, 2003.
[4]
J. Leifer and R. Milner. Deriving bisimulation congruences for reactive systems. In International Conference on Concurrency Theory, CONCUR'00, volume 1877 of LNCS, pages 243-258, 2000.
[5]
S. Mac Lane. Categorical algebra. Bulletin of the American Mathematical Society, 71:40- 106, 1965.
[6]
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer Verlag, 2nd edition, 1992.
[7]
R. Milner. Calculi for interaction. Acta Informatica, 33(8):707-737, 1996.
[8]
R. Milner. Bigraphical reactive systems. In International Conference on Concurrency Theory, CONCUR'01, volume 2154 of LNCS, pages 16-35, 2001.
[9]
R. Milner. Bigraphs for Petri nets. In Lectures on Concurrency and Petri Nets 2003, volume 3098 of Lecture Notes in Computer Science, pages 686-701, 2004.
[10]
G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981.
[11]
V. Sassone and P. Sobocinski. Deriving bisimulation congruences using 2-categories. Nordic Journal of Computing, 10(2):163-183, 2003.
[12]
V. Sassone and P. Sobocinski. A congruence for Petri nets. In Workshop on Petri Nets and Graph Transformation, volume 127 of ENTCS, pages 107-120, 2005.
[13]
V. Sassone and P. Sobocinski. Locating reaction with 2-categories. Theoretical Computer Science, 333(1-2):297-327, 2005.
[14]
V. Sassone and P. Sobocinski. Reactive systems over cospans. Proceedings of Logics in Computer Science, LICS 2005, IEEE Press 2005.
[15]
P. Sewell. Working notes PS15-PS19, 2000. Unpublished notes.
[16]
P. Sewell. From rewrite rules to bisimulation congruences. Theoretical Computer Science, 274(1-2):183-230, 2002.
[17]
P. Sobocinski. Deriving process congruences from reaction rules. PhD thesis, BRICS, University of Aarhus, 2004.

Cited By

View all
  • (2014)A General Theory of Barbs, Contexts, and LabelsACM Transactions on Computational Logic (TOCL)10.1145/263191615:4(1-27)Online publication date: 16-Sep-2014
  • (2012)A modular LTS for open reactive systemsProceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science10.1007/978-3-642-33475-7_10(134-148)Online publication date: 26-Sep-2012
  • (2011)Towards a general theory of barbs, contexts and labelsProceedings of the 9th Asian conference on Programming Languages and Systems10.1007/978-3-642-25318-8_22(289-304)Online publication date: 5-Dec-2011
  • Show More Cited By
  1. Labels from reductions: towards a general theory

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    CALCO'05: Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
    September 2005
    456 pages
    ISBN:3540286209
    • Editors:
    • José Luiz Fiadeiro,
    • Neil Harman,
    • Markus Roggenbach,
    • Jan Rutten

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 03 September 2005

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 10 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2014)A General Theory of Barbs, Contexts, and LabelsACM Transactions on Computational Logic (TOCL)10.1145/263191615:4(1-27)Online publication date: 16-Sep-2014
    • (2012)A modular LTS for open reactive systemsProceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science10.1007/978-3-642-33475-7_10(134-148)Online publication date: 26-Sep-2012
    • (2011)Towards a general theory of barbs, contexts and labelsProceedings of the 9th Asian conference on Programming Languages and Systems10.1007/978-3-642-25318-8_22(289-304)Online publication date: 5-Dec-2011
    • (2009)Reactive systems, (semi-)saturated semantics and coalgebras on presheavesTheoretical Computer Science10.1016/j.tcs.2009.06.010410:41(4044-4066)Online publication date: 1-Sep-2009
    • (2009)On Symbolic Semantics for Name-decorated ContextsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.06.038229:3(37-58)Online publication date: 1-Jul-2009
    • (2008)RPO, second-order contexts, and λ-calculusProceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures10.5555/1792803.1792827(334-349)Online publication date: 29-Mar-2008
    • (2007)Coalgebraic models for reactive systemsProceedings of the 18th international conference on Concurrency Theory10.5555/2392200.2392227(364-379)Online publication date: 3-Sep-2007
    • (2006)Typed polyadic pi-calculus in bigraphsProceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/1140335.1140336(1-12)Online publication date: 10-Jul-2006

    View Options

    View options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media