Skip to contents

Raussen, Martin [Author] ; Martin Raussen [Contributor]

Deadlocks and Dihomotopy in Mutual Exclusion Models

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Kopperman, Ralph [Author]; Panangaden, Prakash [Author]; Smyth, Michael B. [Author]; Spreen, Dieter [Author] ; Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen [Contributor]

06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
Fajstrup, Lisbeth [Author] ; Lisbeth Fajstrup [Contributor]

Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Raußen, Martin

Deadlocks and dihomotopy in mutual exclusion models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2006

Published in: Theoretical Computer Science, 365 (2006) 3, Seite 247-257
Raussen, Martin

State spaces and dipaths up to dihomotopy

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

International Press of Boston, 2003

Published in: Homology, Homotopy and Applications, 5 (2003) 2, Seite 257-280
Gaucher, Philippe

Investigating the Algebraic Structure of Dihomotopy Types

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2002

Published in: Electronic Notes in Theoretical Computer Science, 52 (2002) 2, Seite 139-163
Gaucher, Philippe

Flow does not Model Flows up to Weak Dihomotopy

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2005

Published in: Applied Categorical Structures, 13 (2005) 5-6, Seite 371-388
Goubault, Éric; Raussen, Marti

LATIN 2002: Theoretical Informatics: Dihomotopy as a Tool in State Space Analysis Tutorial

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: LATIN 2002: Theoretical Informatics (2002), Seite 16-37

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Skip to contents

Deadlocks and Dihomotopy in Mutual Exclusion Models

Links

Bookmarks

06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality

Links

Bookmarks

Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again

Links

Bookmarks

Deadlocks and dihomotopy in mutual exclusion models

Access

Bookmarks

State spaces and dipaths up to dihomotopy

Access

Bookmarks

Investigating the Algebraic Structure of Dihomotopy Types

Access

Bookmarks

Flow does not Model Flows up to Weak Dihomotopy

Access

Bookmarks

LATIN 2002: Theoretical Informatics: Dihomotopy as a Tool in State Space Analysis Tutorial

Access

Bookmarks

You did not find what you were looking for?

Suchergebnisse filtern

Access

Media type

Year of publication

Availability

Access State

Language

Subject

Creator

Collection

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication