On the Semantics of Place/Transition Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Various Constructions of Continuous Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Information systems revisited – the general continuous case
Theoretical Computer Science
Real-time stable event structures and marked scott domains: an adjunction
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Fundamenta Informaticae
Hi-index | 5.23 |