×

Found 155 Documents (Results 1–100)

Concurrency and probability: removing confusion, compositionally. (English) Zbl 1497.68329

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 195-204 (2018).
MSC:  68Q85 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Network-conscious \(\pi\)-calculus – a model of Pastry. (English) Zbl 1342.68236

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A normal form for stateful connectors. (English) Zbl 1321.68357

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 205-227 (2015).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Network conscious \(\pi\)-calculus: a concurrent semantics. (English) Zbl 1342.68235

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 291-306 (2012).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Connector algebras, Petri nets, and BIP. (English) Zbl 1336.68006

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 19-38 (2012).
MSC:  68M07 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A modular LTS for open reactive systems. (English) Zbl 1362.68212

Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 134-148 (2012).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A connector algebra for P/T nets interactions. (English) Zbl 1344.68161

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 312-326 (2011).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Saturated LTSs for adhesive rewriting systems. (English) Zbl 1306.68064

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 123-138 (2010).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic symbolic semantics. (English) Zbl 1239.68049

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 173-190 (2009).
MSC:  68Q85 68Q55 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Minimization algorithm for symbolic bisimilarity. (English) Zbl 1234.68288

Castagna, Giuseppe (ed.), Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 267-284 (2009).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

A coalgebraic theory of reactive systems. (English) Zbl 1279.68249

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 201-215 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

G-reactive systems as coalgebras. (English) Zbl 1277.68163

Ehrig, H. (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 6, 3-17 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Open bisimulation for the concurrent constraint pi-calculus. (English) Zbl 1133.68384

Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 254-268 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Symbolic semantics revisited. (English) Zbl 1139.68039

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 395-412 (2008).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Modelling calculi with name mobility using graphs with equivalences. (English) Zbl 1278.68211

Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 85-97 (2007).
MSC:  68Q85 68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic models for reactive systems. (English) Zbl 1151.68507

Caires, Luís (ed.) et al., CONCUR 2007 – concurrency theory. 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74406-1/pbk). Lecture Notes in Computer Science 4703, 364-379 (2007).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. (English) Zbl 1123.68007

Lecture Notes in Computer Science 4624. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). xi, 463 p. (2007).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

cc-pi: a constraint-based language for specifying service level agreements. (English) Zbl 1187.68063

De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 18-32 (2007).
PDFBibTeX XMLCite
Full Text: DOI

A compositional coalgebraic model of a fragment of fusion calculus. (English) Zbl 1316.68090

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 135-139 (2006).
MSC:  68Q85 68Q42 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Hoare vs Milner: comparing synchronizations in a graphical framework with mobility. (English) Zbl 1273.68193

Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 154, No. 2, 55-72 (2006).
MSC:  68Q42 68Q85 68Q60
PDFBibTeX XMLCite
Full Text: Link

Synchronised hyperedge replacement as a model for service oriented computing. (English) Zbl 1196.68025

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Berlin: Springer (ISBN 3-540-36749-7/pbk). Lecture Notes in Computer Science 4111, 22-43 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Concurrent rewriting for graphs with equivalences. (English) Zbl 1151.68503

Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 279-294 (2006).
MSC:  68Q85 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Event structure semantics for nominal calculi. (English) Zbl 1151.68512

Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 295-309 (2006).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Theoretical foundations for compensations in flow composition languages. (English) Zbl 1369.68070

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 209-220 (2005).
MSC:  68N15 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Synchronization algebras with mobility for graph transformations. (English) Zbl 1272.68310

Rathke, Julian (ed.), Proceedings of the workshop on the foundations of global ubiquitous computing (FGUC 2004), London, UK, September 3–4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 138, No. 1, 43-60 (2005).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: Link

Observing reductions in nominal calculi via a graphical encoding of processes. (English) Zbl 1171.68572

Middeldorp, Aart (ed.) et al., Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-30911-X/pbk). Lecture Notes in Computer Science 3838, 106-126 (2005).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A general name binding mechanism. (English) Zbl 1151.68508

De Nicola, Rocco (ed.) et al., Trustworthy global computing. International symposium, TGC 2005, Edinburgh, UK, April 7–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-30007-4/pbk). Lecture Notes in Computer Science 3705, 61-74 (2005).
MSC:  68Q85 68N30
PDFBibTeX XMLCite
Full Text: DOI

Comparing two approaches to compensable flow composition. (English) Zbl 1134.68316

Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 383-397 (2005).
MSC:  68M14 68Q85 68U35
PDFBibTeX XMLCite
Full Text: DOI

Deriving weak bisimulation congruences from reduction systems. (English) Zbl 1134.68428

Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 293-307 (2005).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Modelling fusion calculus using HD-automata. (English) Zbl 1151.68527

Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 142-156 (2005).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Complete axioms for stateless connectors. (English) Zbl 1151.68511

Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 98-113 (2005).
MSC:  68Q85 68M14 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Graph processes with fusions: Concurrency by colimits, again. (English) Zbl 1075.68058

Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 84-100 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Model checking for nominal calculi. (English) Zbl 1119.68115

Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 1-24 (2005).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. (English) Zbl 1069.68009

Lecture Notes in Computer Science 3393. Berlin: Springer (ISBN 3-540-24936-2/pbk). xxvii, 413 p. (2005).
MSC:  68-06 68Qxx 00B30
PDFBibTeX XMLCite
Full Text: DOI

Tiling transactions in rewriting logic. (English) Zbl 1272.68291

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 90-109 (2004).
MSC:  68Q85 68Q42 03B70
PDFBibTeX XMLCite
Full Text: Link

A graphical fusion calculus. (English) Zbl 1271.68188

Honsell, F. (ed.) et al., Proceedings of the workshop of the COMETA project on computational metamodels, Udine, Italy, December, 15–17, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 104, 199-215 (2004).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: Link

Some characterization results for permutation algebras. (English) Zbl 1271.68148

Honsell, F. (ed.) et al., Proceedings of the workshop of the COMETA project on computational metamodels, Udine, Italy, December, 15–17, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 104, 129-147 (2004).
MSC:  68Q65 68Q85
PDFBibTeX XMLCite
Full Text: Link

D-fusion: A distinctive fusion calculus. (English) Zbl 1116.68540

Chin, Wei-Ngan (ed.), Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4–6, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23724-0/pbk). Lecture Notes in Computer Science 3302, 296-310 (2004).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

New insights of architectural connectors. (English) Zbl 1094.68009

Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 367-379 (2004).
MSC:  68M14
PDFBibTeX XMLCite

Pre-nets, read ARCS and unfolding: A functorial presentation. (English) Zbl 1278.68210

Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 145-164 (2003).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Algebraic theories for contextual pre-nets. (English) Zbl 1257.68107

Blundo, Carlo (ed.) et al., Theoretical computer science. 8th Italian conference, ICTCS 2003, Bertinoro, Italy, October 13–15, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20216-1/pbk). Lect. Notes Comput. Sci. 2841, 256-270 (2003).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI

Comparing cospan-spans and tiles via a Hoare-style process calculus. (English) Zbl 1268.68126

Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 157-176 (2002).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Minimizing transition systems for name passing calculi: A co-algebraic formulation. (English) Zbl 1077.68716

Nielsen, Mogens (ed.) et al., Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 129-143 (2002).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: Link

A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. (English) Zbl 1012.68120

Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 449-465 (2002).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: Link

A concurrent graph semantics for mobile ambients. (English) Zbl 1260.68094

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 88-105 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Observational equivalence for synchronized graph rewriting with mobility. (English) Zbl 1087.68606

Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 145-164 (2001).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: Link

A LTS semantics of ambients via graph synchronization with mobility. (English) Zbl 1042.68615

Restivo, Antonio (ed.) et al., Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4–6, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42672-8). Lect. Notes Comput. Sci. 2202, 1-16 (2001).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: Link

Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. (English) Zbl 1006.68538

Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 121-136 (2001).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: Link

Bisimilarity congruences for open terms and term graphs via tile logic. (English) Zbl 0999.68142

Palamidessi, Catuscia (ed.), CONCUR 2000 - Concurrency theory. 11th international conference, University Park, PA, USA, August 22-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1877, 259-274 (2000).
MSC:  68Q85
PDFBibTeX XMLCite

Two problems in wide area network programming (position statement). (English) Zbl 0998.68696

van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 609-611 (2000).
MSC:  68U99 68M10 68N19
PDFBibTeX XMLCite

Open ended systems, dynamic bisimulation and tile logic. (English) Zbl 0998.68087

van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 440-456 (2000).
MSC:  68Q85
PDFBibTeX XMLCite

\(\pi\)-calculus, structured coalgebras, and minimal HD-automata. (English) Zbl 0996.68125

Nielsen, Mogens (ed.) et al., Mathematical foundations of computer science 2000. 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1893, 569-578 (2000).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite

Functorial semantics for Petri nets under the individual token philosophy. (English) Zbl 0966.68108

Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 18 p., electronic only (1999).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite

Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. (English) Zbl 0951.68049

Singapore: World Scientic Publishing. xiv, 455 p. (1999).
PDFBibTeX XMLCite

Unfolding and event structure semantics for graph grammars. (English) Zbl 0946.68087

Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22-28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 73-89 (1999).
MSC:  68Q55
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software