Published in: Lecture notes in computer science ; 1043

Published in: Lecture notes in computer science ; 1043

Published in: Lecture notes in computer science ; 104300

Published in: ACM Other conferences- ACM Digital Library

Published in: Electronic Notes in Theoretical Computer Science, 9 (1997), Seite 1

Published in: Electronic Notes in Theoretical Computer Science, 18 (1998), Seite 3-22

Published in: CONCUR '96: Concurrency Theory (1996), Seite 195-216

Published in: ACM Computing Surveys, 28 (1996) 4es, Seite 50

Published in: Journal of Computers in Education, 5 (2018) 4, Seite 415-434

Published in: Electronic Notes in Theoretical Computer Science, 138 (2005) 3, Seite 1

Published in: Information and Computation, 184 (2003) 1, Seite 147-159

Published in: Theoretical Computer Science, 256 (2001) 1-2, Seite 3-21

Published in: CONCUR’99 Concurrency Theory (1999), Seite 30-45

Published in: Logics for Concurrency (1996), Seite 102-148

Published in: Computer Aided Verification (1994), Seite 428-440

Published in: CONCUR '94: Concurrency Theory (1994), Seite 48-63

Published in: CONCUR '95: Concurrency Theory (1995), Seite 348-362

Published in: Automata, Languages and Programming (1992), Seite 559-570

Published in: Theoretical Computer Science, 107 (1993) 2, Seite 357-363

Published in: Lecture Notes in Computer Science (1991), Seite 424-438