CMCS 2010 : Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science. Preface
- Jacobs, B.P.F.
- Niqui, M.
- Rutten, J.
- Silva, A.
DOIAbstract
Contains fulltext : 84195.pdf (publisher's version ) (Closed access
Contains fulltext : 84195.pdf (publisher's version ) (Closed access
This Special Part of the ANZIAM Journal contains the refereed papers from the twelfth Biennial Compu...
Contains fulltext : 147292.pdf (publisher's version ) (Open Access
Version 1.07 Title word cross-reference #CSP [DR10]. 1 [Bel12]. 2 [CST13, GKL12]. 2log 1 n [KPV12]....
Preface. This volume contains the proceedings of the Tenth Workshop on Coalgebraic Methods in Comput...
AbstractThis volume contains the Proceedings of the Second Workshop on Coalgebraic Methods in Comput...
AbstractThis volume contains the Proceedings of the First Workshop on Coalgebraic Methods in Compute...
AbstractThis volume contains the Proceedings of the Sixth Workshop on Coalgebraic Methods in Compute...
AbstractThis volume contains the Proceedings of the Fifth Workshop on Coalgebraic Methods in Compute...
AbstractThis volume contains the Proceedings of the Fourth Workshop on Coalgebraic Methods in Comput...
AbstractThis volume contains the Proceedings of the Third Workshop on Coalgebraic Methods in Compute...
CALCO brings together researchers and practitioners to exchange new results related to foundational ...
The 16th edition of the IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Scienc...
Preface to the proceedings of the 7th International Workshop on Formal Aspects of Component Software...
Contains fulltext : 91614.pdf (publisher's version ) (Closed access
CTAC2010 was the 15th biennial Computational Techniques and Applications Conference, and took place ...
This Special Part of the ANZIAM Journal contains the refereed papers from the twelfth Biennial Compu...
Contains fulltext : 147292.pdf (publisher's version ) (Open Access
Version 1.07 Title word cross-reference #CSP [DR10]. 1 [Bel12]. 2 [CST13, GKL12]. 2log 1 n [KPV12]....
Preface. This volume contains the proceedings of the Tenth Workshop on Coalgebraic Methods in Comput...
AbstractThis volume contains the Proceedings of the Second Workshop on Coalgebraic Methods in Comput...
AbstractThis volume contains the Proceedings of the First Workshop on Coalgebraic Methods in Compute...
AbstractThis volume contains the Proceedings of the Sixth Workshop on Coalgebraic Methods in Compute...
AbstractThis volume contains the Proceedings of the Fifth Workshop on Coalgebraic Methods in Compute...
AbstractThis volume contains the Proceedings of the Fourth Workshop on Coalgebraic Methods in Comput...
AbstractThis volume contains the Proceedings of the Third Workshop on Coalgebraic Methods in Compute...
CALCO brings together researchers and practitioners to exchange new results related to foundational ...
The 16th edition of the IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Scienc...
Preface to the proceedings of the 7th International Workshop on Formal Aspects of Component Software...
Contains fulltext : 91614.pdf (publisher's version ) (Closed access
CTAC2010 was the 15th biennial Computational Techniques and Applications Conference, and took place ...
This Special Part of the ANZIAM Journal contains the refereed papers from the twelfth Biennial Compu...
Contains fulltext : 147292.pdf (publisher's version ) (Open Access
Version 1.07 Title word cross-reference #CSP [DR10]. 1 [Bel12]. 2 [CST13, GKL12]. 2log 1 n [KPV12]....
Add to ORKG