On the algebra of structured specifications

Research output: Contribution to journal › Article › peer-review

67 Downloads (Pure)

Original language	English
Article number	28
Pages (from-to)	3145-3174
Journal	Theoretical Computer Science
Volume	412
DOIs	https://doi.org/10.1016/j.tcs.2011.04.008
Publication status	Published - 2011

Access to Document

@article{edc1c50ef4564ae09a688bbb24c24ba7,

title = "On the algebra of structured specifications",

author = "R{\u a}zvan Diaconescu and Ionut Tutu",

year = "2011",

doi = "10.1016/j.tcs.2011.04.008",

language = "English",

volume = "412",

pages = "3145--3174",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

}