Coalgebras for Binary Methods: Properties of Bisimulations and Invariants

E-ISSN： 1290-385x|35|1|83-111

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.35, Iss.1, 2010-03, pp. : 83-111

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Topologies, Continuity and Bisimulations

By Davoren J. M.

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 357-381

Edp Sciences

Access to resources Recommend Favorite

Recursive coalgebras of finitary functors

By Adámek Jiří Lücke Dominik Milius Stefan

RAIRO - Theoretical Informatics and Applications, Vol. 41, Iss. 4, 2007-08 ,pp. : 447-462

Edp Sciences

Access to resources Recommend Favorite

Design of Binary Coded Pulse Trains with Good Autocorrelation Properties for Radar Communications

MATEC Web of conference, Vol. 150, Iss. issue, 2018-02 ,pp. : 06016-06016

Edp Sciences

Access to resources Recommend Favorite

Test methods for viscoelastic material and their nonlinear properties

By Shaska Kastriot

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 2008, Iss. 1, 2008-07 ,pp. : 477-489

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Material properties characterization for composites using ultrasonic methods

By Hsu David K.

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1994, Iss. 1, 1994-05 ,pp. : 821-830

Institute of Noise Control Engineering

Access to resources Recommend Favorite