@inproceedings{mossakowski_specifications_2000,
	address = {Berlin, Heidelberg},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Specifications in an {Arbitrary} {Institution} with {Symbols}},
	isbn = {978-3-540-44616-3},
	doi = {10/fmqkpw},
	abstract = {We develop a notion of institution with symbols and a kernel language for writing structured specifications in CASL. This kernel language has a semantics in an arbitrary but fixed institution with symbols. Compared with other institution-independent kernel languages, the advantage is that translations, hidings etc. can be written in a symbol-oriented way (rather than being based on signature morphisms as primitive notion), while still being institution-independent. The semantics of the kernel language has been used as the basis for the semantics of structured specifications in CASL.},
	language = {en},
	booktitle = {Recent {Trends} in {Algebraic} {Development} {Techniques}},
	publisher = {Springer},
	author = {Mossakowski, Till},
	editor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.},
	year = {2000},
	pages = {252--270},
}

{"_id":"yW5HpoXav7GkE4isz","bibbaseid":"mossakowski-specificationsinanarbitraryinstitutionwithsymbols-2000","author_short":["Mossakowski, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Heidelberg","series":"Lecture Notes in Computer Science","title":"Specifications in an Arbitrary Institution with Symbols","isbn":"978-3-540-44616-3","doi":"10/fmqkpw","abstract":"We develop a notion of institution with symbols and a kernel language for writing structured specifications in CASL. This kernel language has a semantics in an arbitrary but fixed institution with symbols. Compared with other institution-independent kernel languages, the advantage is that translations, hidings etc. can be written in a symbol-oriented way (rather than being based on signature morphisms as primitive notion), while still being institution-independent. The semantics of the kernel language has been used as the basis for the semantics of structured specifications in CASL.","language":"en","booktitle":"Recent Trends in Algebraic Development Techniques","publisher":"Springer","author":[{"propositions":[],"lastnames":["Mossakowski"],"firstnames":["Till"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bert"],"firstnames":["Didier"],"suffixes":[]},{"propositions":[],"lastnames":["Choppy"],"firstnames":["Christine"],"suffixes":[]},{"propositions":[],"lastnames":["Mosses"],"firstnames":["Peter","D."],"suffixes":[]}],"year":"2000","pages":"252–270","bibtex":"@inproceedings{mossakowski_specifications_2000,\n\taddress = {Berlin, Heidelberg},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Specifications in an {Arbitrary} {Institution} with {Symbols}},\n\tisbn = {978-3-540-44616-3},\n\tdoi = {10/fmqkpw},\n\tabstract = {We develop a notion of institution with symbols and a kernel language for writing structured specifications in CASL. This kernel language has a semantics in an arbitrary but fixed institution with symbols. Compared with other institution-independent kernel languages, the advantage is that translations, hidings etc. can be written in a symbol-oriented way (rather than being based on signature morphisms as primitive notion), while still being institution-independent. The semantics of the kernel language has been used as the basis for the semantics of structured specifications in CASL.},\n\tlanguage = {en},\n\tbooktitle = {Recent {Trends} in {Algebraic} {Development} {Techniques}},\n\tpublisher = {Springer},\n\tauthor = {Mossakowski, Till},\n\teditor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.},\n\tyear = {2000},\n\tpages = {252--270},\n}\n\n","author_short":["Mossakowski, T."],"editor_short":["Bert, D.","Choppy, C.","Mosses, P. D."],"key":"mossakowski_specifications_2000","id":"mossakowski_specifications_2000","bibbaseid":"mossakowski-specificationsinanarbitraryinstitutionwithsymbols-2000","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["specifications","arbitrary","institution","symbols","mossakowski"],"title":"Specifications in an Arbitrary Institution with Symbols","year":2000}