Dirk Taubner

Available identifiers

zbMath Open taubner.dirkMaRDI QIDQ582132

List of research outcomes

Publication	Date of Publication	Type
Generating BDDs for symbolic model checking in CCS	1993-06-29	Paper
Iteration theories of synchronization trees	1993-05-16	Paper
Finite representations of CCS and TCSP programs by automata and Petri nets	1993-01-23	Paper
A note on the notation of recursion in process algebras	1991-01-01	Paper
Representing CCS programs by finite predicate-transition nets	1990-01-01	Paper
Step failures semantics and a complete proof system	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753474	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4727440	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dirk Taubner