Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for CoCasl with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2003 (1) 2005 (2) 2006 (2) 2007 (1)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
CALCO(2) CMCS(1) FASE(1) J. Log. Algebraic Methods Prog...(1) WADT(1)
Authors
Lutz Schröder(5) Till Mossakowski(5) Daniel Hausmann 0001(2) Markus Roggenbach(2) Delphine Longuet(1) Horst Reichel(1) Marc Aiguier(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
117Lutz Schröder, Till Mossakowski Coalgebraic Modal Logic in CoCasl. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
100Delphine Longuet, Marc Aiguier Specification-Based Testing for CoCasl's Modal Specifications. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
90Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder Iterative Circular Coinduction for CoCasl in Isabelle/HOL. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel Algebraic-coalgebraic specification in CoCasl. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Till Mossakowski, Markus Roggenbach, Lutz Schröder CoCASL at Work -- Modelling Process Algebra. Search on Bibsonomy CMCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder Towards a Coalgebraic Semantics of the Ambient Calculus. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license