About: Common Algebraic Specification Language

Property	Value
dbo:wikiPageExternalLink	http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm http://www.informatik.uni-bremen.de/cofi/index.php/CASL http://www.cofi.info/
dbo:wikiPageWikiLink	dbr:Communicating_sequential_processes dbr:Subtyping dbr:Implementation dbr:First-order_logic dbr:Internet dbr:Modal_logic dbr:Concurrency_(computer_science) dbr:Partial_function dbr:Specification_language dbr:Institution_(computer_science) dbr:Mathematical_induction dbc:Formal_specification_languages dbr:Software_architecture dbr:Higher-order_logic dbr:F-Coalgebra dbr:Temporal_logic dbr:Algebraic_specification dbr:Subsumption_architecture dbr:Heterogeneous dbr:Common_Framework_Initiative
dbp:wikiPageUsesTemplate	dbt:Compu-lang-stub dbt:Authority_control dbt:Reflist dbt:No_footnotes dbt:Distinguish dbt:Unref
dct:subject	dbc:Formal_specification_languages
gold:hypernym	dbr:Specification
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage dbo:ProgrammingLanguage schema:Language
rdfs:label	Common Algebraic Specification Language (en)
owl:differentFrom	dbr:Compact_Application_Solution_Language
owl:sameAs	yago-res:Common Algebraic Specification Language freebase:Common Algebraic Specification Language wikidata:Common Algebraic Specification Language dbpedia-global:Common Algebraic Specification Language dbr:Common Algebraic Specification Language
prov:wasDerivedFrom	wikipedia-en:Common_Algebraic_Specification_Language?oldid=1220254178&ns=0
foaf:homepage	http://www.cofi.info/ http://www.cofi.info/
foaf:isPrimaryTopicOf	wikipedia-en:Common_Algebraic_Specification_Language
is dbo:wikiPageDisambiguates of	dbr:CASL
is dbo:wikiPageRedirects of	dbr:CASL_(calculator_language)
is dbo:wikiPageWikiLink of	dbr:Communicating_sequential_processes dbr:Formal_methods dbr:Specification_language dbr:Institution_(computer_science) dbr:CASL dbr:Ontology_(information_science) dbr:Algebraic_specification dbr:CASL_(calculator_language)
is owl:differentFrom of	dbr:Compact_Application_Solution_Language
is foaf:primaryTopic of	wikipedia-en:Common_Algebraic_Specification_Language