Document Search Results

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 179-195 (2013).

MSC: 68Q60 68Q65 68Q85

Cite Review PDF

Full Text: DOI

Bubenik, Peter

Simplicial models for concurrency. (English) Zbl 1347.68257

Fajstrup, Lisbeth (ed.) et al., Proceedings of the 9th workshop on geometric and topological methods in computer science (GETCO), Aalborg, Denmark, January 11–15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 283, 3-12 (2012).

MSC: 68Q85 18G30 68N30

Cite Review PDF

Full Text: DOI arXiv

Kahl, Thomas

Some collapsing operations for 2-dimensional precubical sets. (English) Zbl 1258.55005

J. Homotopy Relat. Struct. 7, No. 2, 281-298 (2012).

Reviewer: Philippe Gaucher (Paris)

MSC: 55P10 55P99 55U99 68Q85

Cite Review PDF

Full Text: DOI arXiv

Raussen, Martin

Execution spaces for simple higher dimensional automata. (English) Zbl 1254.55007

Appl. Algebra Eng. Commun. Comput. 23, No. 1-2, 59-84 (2012).

Reviewer: Philippe Gaucher (Paris)

MSC: 55P10 55P15 55U10 68Q55 68Q85

Cite Review PDF

Full Text: DOI Link

Ziemiański, Krzysztof

A cubical model for path spaces in d-simplicial complexes. (English) Zbl 1244.55016

Topology Appl. 159, No. 8, 2127-2145 (2012).

Reviewer: Philippe Gaucher (Paris)

MSC: 55U10 68Q99

Cite Review PDF

Full Text: DOI

Goubault, Eric; Haucourt, Emmanuel; Krishnan, Sanjeevi

Future path-components in directed topology. (English) Zbl 1342.68232

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 325-335 (2010).

MSC: 68Q85 54F05

Cite Review PDF

Full Text: DOI

Raussen, Martin

Simplicial models of trace spaces. (English) Zbl 1198.55004

Algebr. Geom. Topol. 10, No. 3, 1683-1714 (2010).

Reviewer: Philippe Gaucher (Paris)

MSC: 55P10 55P15 55U10 68Q55 68Q85

Cite Review PDF

Full Text: DOI

Haucourt, Emmanuel

Comparing topological models for concurrency. (English) Zbl 1339.68186

Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 111-127 (2009).

MSC: 68Q85 55P99 55U40

Cite Review PDF

Full Text: DOI

Haucourt, Emmanuel

A framework for component categories. (English) Zbl 1339.55017

Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 39-69 (2009).

MSC: 55P99 55U35 55U40 68Q85

Cite Review PDF

Full Text: DOI

Bubenik, Peter

Context for models of concurrency. (English) Zbl 1338.68201

Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 3-21 (2009).

MSC: 68Q85