Publications

A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum

AuthID
P-003-S0P

Author(s)

Monteiro, L

Editor(s)

Corradini, A; Montanari, U

Document Type

Proceedings Paper

Year published

2009

Published

in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5486, Pages: 251-265 (15)

Conference

19Th International Workshop on Algebraic Development Techniques, Date: JUN 13-16, 2008, Location: Pisa, ITALY, Sponsors: IFIP WG 1 3, Univ Pisa, Dipt Inform, IFIP TC1, Host: Univ Pisa

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-03429-9_17

Scopus: 2-s2.0-70349319748

Wos: WOS:000272277800017

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum

Useful Links

Get Help

Federated Authentication (Click on the image)

A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum

Useful Links

Get Help