Graded Modalities and Resource Bisimulation-Reference-Cited by-同舟云学术

Graded Modalities and Resource Bisimulation

Published:1999 Issue: Volume: Page:381-393
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Corradini Flavio,De Nicola Rocco,Labella Anna

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46691-6_31

Reference21 articles.

1. Lect Notes Comput Sci;J.C.M. Baeten,1990

2. Browne, M.C., Clarke, E., Grümberg O.: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science 59(1,2), pp. 115–131, 1998. 381

3. Baeten, J., Weijland, P.: Process Algebras. Cambridge University Press, 1990.

4. Lect Notes Comput Sci;F. Corradini,1995

5. Corradini, F., De Nicola, R. and Labella, A.: A Finite Axiomatization of Non deterministic Regular Expressions. Theoretical Informatics and Applications. To appear. Available from: ftp://rap.dsi.unifi.it/pub/papers/FinAxNDRE . Abstract in FICS, Brno, 1998.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relating structure and power: Comonadic semantics for computational resources;Journal of Logic and Computation;2021-08-09

2. Coalgebraic Weak Bisimulation from Recursive Equations over Monads;Automata, Languages, and Programming;2014

3. Characteristic formulae for fixed-point semantics: a general framework;Mathematical Structures in Computer Science;2012-02-28

4. Characteristic Formulae for Fixed-Point Semantics: A General Framework;Electronic Proceedings in Theoretical Computer Science;2009-11-17