×

Found 8 Documents (Results 1–8)

Processes in space. (English) Zbl 1286.68345

Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 78-87 (2010).
MSC:  68Q85 51N10 68U05
PDFBibTeX XMLCite
Full Text: DOI

A process model of actin polymerisation. (English) Zbl 1283.92047

Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 127-144 (2009).
MSC:  92C45 68Q85 92C10
PDFBibTeX XMLCite
Full Text: DOI

A process model of rho GTP-binding proteins in the context of phagocytosis. (English) Zbl 1279.68252

Cannata, Nicola (ed.) et al., Proceedings of the first workshop “From biology to concurrency and back (FBTC 2007)”, Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 3, 87-102 (2008).
MSC:  68Q85 68Q87 92C40
PDFBibTeX XMLCite
Full Text: DOI

Manipulating trees with hidden labels. (English) Zbl 1029.68092

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 216-232 (2003).
MSC:  68Q55 68P10
PDFBibTeX XMLCite
Full Text: Link

A spatial logic for querying graphs. (English) Zbl 1057.68606

Widmayer, Peter (ed.) et al., Automata, languages and programming. 29th international colloquium, ICALP 2002, Málaga, Spain, July 8–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43864-5). Lect. Notes Comput. Sci. 2380, 597-610 (2002).
MSC:  68P15 68Q85 05C20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software