A coalgebraic equational approach to specifying observational structures

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.280, Iss.1, 2002-05, pp. : 35-68

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

Bisimulation for probabilistic transition systems: a coalgebraic approach

By de Vink E.P. Rutten J.J.M.M.

Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. : 271-293

Elsevier

Access to resources Recommend Favorite

Specifying causality in action theories: a default logic approach

By Zhang Y.

Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. : 489-513

Elsevier

Access to resources Recommend Favorite

Specifying and Composing Web Services with an Environment Ontology-Based Approach

International Journal of Web Services Research (IJWSR), Vol. 7, Iss. 3, 2010-07 ,pp. : 73-92

IGI Global_journal

Access to resources Recommend Favorite

On institutions for modular coalgebraic specifications

By Kurz A. Hennicker R.

Theoretical Computer Science, Vol. 280, Iss. 1, 2002-05 ,pp. : 69-103

Elsevier

Access to resources Recommend Favorite

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 12, Iss. 4, 2017-10 ,pp. : 22-41

IGI Global_journal

Access to resources Recommend Favorite