Publication | Date of Publication | Type |
---|
Multiplicative Transition Systems | 2021-06-14 | Paper |
Multiplicative Transition Systems | 2012-07-04 | Paper |
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation | 2010-03-10 | Paper |
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation | 2010-02-05 | Paper |
An algebraic characterization of independence of Petri net processes | 2009-07-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5506388 | 2009-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3504352 | 2008-06-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5431925 | 2008-01-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3425594 | 2007-02-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5486076 | 2006-09-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5472888 | 2006-06-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3146285 | 2002-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4500378 | 2000-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4264100 | 1999-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4381716 | 1998-04-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4349582 | 1997-08-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3126181 | 1997-03-23 | Paper |
A kernel language for programmed rewriting of (hyper)graphs | 1995-11-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4763577 | 1995-04-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4037329 | 1993-05-18 | Paper |
Towards an algebra for timed behaviours | 1993-01-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5748895 | 1991-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3474896 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3829059 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3796728 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3805921 | 1988-01-01 | Paper |
An algebra of processes | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3038627 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3673162 | 1983-01-01 | Paper |
Processes of transforming structures | 1982-01-01 | Paper |
An algebraic description of system behaviours | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4746795 | 1982-01-01 | Paper |
Modeling a solution for a control problem in distributed systems by restrictions | 1981-01-01 | Paper |
Transformations of structures: An algebraic approach | 1981-01-01 | Paper |
Behaviours of concurrent systems | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3208086 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3865491 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3886907 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4187304 | 1979-01-01 | Paper |
Erratum to ``An algebraic characterization of the behaviour of non- sequential systems | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4162461 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4162628 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4167623 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4187314 | 1978-01-01 | Paper |
An algebraic characterization of the behaviour of non-sequential systems | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4133107 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4136523 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4145311 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4152084 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4160368 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4101423 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4101430 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4102718 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4116054 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4076737 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4080704 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4066608 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4768629 | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5672174 | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4772706 | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5567477 | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5541651 | 1967-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5527502 | 1966-01-01 | Paper |