| Publication | Date of Publication | Type |
|---|
Multiplicative transition systems
Lecture Notes in Computer Science | 2021-06-14 | Paper |
Multiplicative transition systems
Fundamenta Informaticae | 2012-07-04 | Paper |
An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
Fundamenta Informaticae | 2010-03-10 | Paper |
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
Fundamenta Informaticae | 2010-02-05 | Paper |
An algebraic characterization of independence of Petri net processes
Information Processing Letters | 2009-07-09 | Paper |
An algebraic framework for defining random concurrent behaviours
| 2009-01-28 | Paper |
scientific article; zbMATH DE number 5286872 (Why is no real title available?)
| 2008-06-11 | Paper |
Towards a framework for modelling behaviours of hybrid systems
| 2008-01-02 | Paper |
Behaviour algebras
| 2007-02-26 | Paper |
An axiomatic characterization of algebras of processes of Petri nets
| 2006-09-06 | Paper |
Towards a framework for modelling systems with rich internal structures of states and processes
| 2006-06-19 | Paper |
scientific article; zbMATH DE number 1799527 (Why is no real title available?)
| 2002-09-11 | Paper |
scientific article; zbMATH DE number 1501631 (Why is no real title available?)
| 2000-09-04 | Paper |
scientific article; zbMATH DE number 1337730 (Why is no real title available?)
| 1999-11-11 | Paper |
scientific article; zbMATH DE number 1136656 (Why is no real title available?)
| 1998-04-01 | Paper |
scientific article; zbMATH DE number 1051242 (Why is no real title available?)
| 1997-08-24 | Paper |
scientific article; zbMATH DE number 994066 (Why is no real title available?)
| 1997-03-23 | Paper |
A kernel language for programmed rewriting of (hyper)graphs
Acta Informatica | 1995-11-19 | Paper |
scientific article; zbMATH DE number 744062 (Why is no real title available?)
| 1995-04-17 | Paper |
scientific article; zbMATH DE number 177458 (Why is no real title available?)
| 1993-05-18 | Paper |
Towards an algebra for timed behaviours
Theoretical Computer Science | 1993-01-16 | Paper |
scientific article; zbMATH DE number 4182842 (Why is no real title available?)
| 1991-01-01 | Paper |
scientific article; zbMATH DE number 4143457 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4104372 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4074505 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4062567 (Why is no real title available?)
| 1988-01-01 | Paper |
An algebra of processes
Journal of Computer and System Sciences | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3833309 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3827259 (Why is no real title available?)
| 1983-01-01 | Paper |
An algebraic description of system behaviours
Theoretical Computer Science | 1982-01-01 | Paper |
Processes of transforming structures
Journal of Computer and System Sciences | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3802820 (Why is no real title available?)
| 1982-01-01 | Paper |
Transformations of structures: An algebraic approach
Mathematical Systems Theory | 1981-01-01 | Paper |
Modeling a solution for a control problem in distributed systems by restrictions
Theoretical Computer Science | 1981-01-01 | Paper |
Behaviours of concurrent systems
Theoretical Computer Science | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3667989 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3692694 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3649991 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3624780 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3624790 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3596217 (Why is no real title available?)
| 1978-01-01 | Paper |
Erratum to ``An algebraic characterization of the behaviour of non- sequential systems
Information Processing Letters | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3592949 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3601146 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3594615 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3583645 (Why is no real title available?)
| 1977-01-01 | Paper |
An algebraic characterization of the behaviour of non-sequential systems
Information Processing Letters | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3557206 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3564296 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3575511 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3523130 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3523138 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3524708 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3540362 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3493850 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3499213 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3483571 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3407154 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3443179 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3448076 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3283830 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3255248 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3240087 (Why is no real title available?)
| 1966-01-01 | Paper |
