{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:00Z","timestamp":1762458480826},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614630"},{"type":"electronic","value":"9783540685951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014335","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T04:04:25Z","timestamp":1132718665000},"page":"487-503","source":"Crossref","is-referenced-by-count":10,"title":["Algebraic specification of reactive systems"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"34_CR1","first-page":"259","volume-title":"Information Processing 83, IFIP World Congress","author":"M. Broy","year":"1983","unstructured":"M. Broy: Applicative Real Time Programming. In: Information Processing 83, IFIP World Congress, Paris 1983, North Holland Publ. Company 1983, 259\u2013264"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"M. Broy: Specification and Top Down Design of Distributed Systems. In: H. Ehrig et al. (eds.): Formal Methods and Software Development. Lecture Notes in Computer Science 186, Springer 1985, 4\u201328, Revised version in JCSS 34:2\/3, 1987, 236\u2013264","DOI":"10.1016\/0022-0000(87)90026-2"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"M. Broy: A Theory for Nondeterminism, Parallelism, Communication and Concurrency. Habilitation, Fakult\u00e4t f\u00fcr Mathematik und Informatik der Technischen Universit\u00e4t M\u00fcnchen, 1982, Revised version in: Theoretical Computer Science 45 (1986) 1\u201361","DOI":"10.1016\/0304-3975(86)90040-X"},{"key":"34_CR4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF01786252","volume":"2","author":"M. Broy","year":"1987","unstructured":"M. Broy: Semantics of Finite or Infinite Networks of Communicating Agents. Distributed Computing 2 (1987), 13\u201331","journal-title":"Distributed Computing"},{"key":"34_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0020-0190(87)90227-4","volume":"25","author":"M. Broy","year":"1987","unstructured":"M. Broy: Predicative Specification for Functional Programs Describing Communicating Networks. Information Processing Letters 25 (1987) 93\u2013101","journal-title":"Information Processing Letters"},{"issue":"1","key":"34_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/151299.151302","volume":"2","author":"M. Broy","year":"1993","unstructured":"M. Broy: Functional Specification of Time Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2:1, Januar 1993, 1\u201346","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"34_CR7","first-page":"170","volume-title":"Lecture Notes in Computer Science 906","author":"M. Broy","year":"1995","unstructured":"M. Broy: Equations for Describing Dynamic Nets of Communicating Systems. In: E. Astesiano, G. Reggio, A. Tarlecki (eds): Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May\/June 1994, Lecture Notes in Computer Science 906, Springer 1995, 170\u2013187"},{"key":"34_CR8","unstructured":"M. Broy: The Specification of System Components by State Transition Diagrams. Technical Memo 1996"},{"key":"34_CR9","unstructured":"M. Broy, G. Stefanescu: Algebra of Stream Processing Functions. Forthcoming paper"},{"key":"34_CR10","unstructured":"M. Broy, K. St\u00f8len: Specification and Refinement of Finite Dataflow Networks \u2014 a Relational Approach. In: Langmaack, H. and de Roever, W.-P. and Vytopil, J. (eds): Proc. FTRTFT'94, Lecture Notes in Computer Science 863, 1994, 247\u2013267"},{"key":"34_CR11","unstructured":"P. Dybier, H. Sander: A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Chalmers University of Technology and University of G\u00f6teborg, Department of Computer Sciences 1988"},{"key":"34_CR12","unstructured":"M. Broy, M. Fuchs, T. F. Gritzner, B. Sch\u00e4tz, K Spies, K St\u00f8len: Summary of Case Studies in FOCUS \u2014 a Design Method for Distributed Systems. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9423, Juni 1994"},{"key":"34_CR13","unstructured":"R. Grosu: A Formal Foundation for Concurrent Object Oriented Programming. Ph. D. Thesis, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik, 1994"},{"key":"34_CR14","unstructured":"R. Grosu, K. St\u00f8len, M. Broy: A Denotational Model for Mobile Data Flow Networks. To appear"},{"key":"34_CR15","unstructured":"G. Kahn, D. MacQueen: Coroutines and Networks of Processes, Proc. IFIP World Congress 1977, 993\u2013998"},{"key":"34_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0890-5401(89)90066-7","volume":"82","author":"N. Lynch","year":"1989","unstructured":"N. Lynch, E. Stark: A Proof of the Kahn Principle for Input\/Output Automata. Information and Computation 82, 1989, 81\u201392","journal-title":"Information and Computation"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"N. A. Lynch, M. R. Turtle: Hierarchical Correctness Proofs for Distributed Algorithms. In: Proceedings of the Sixth ACM Symposium on Principles of Distributed Computing, 1987","DOI":"10.1145\/41840.41852"},{"issue":"1","key":"34_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes. Part i + ii, Information and Computation, 100:1 (1992) 1\u201340, 41\u201377","journal-title":"Information and Computation"},{"key":"34_CR19","series-title":"Lecture Notes in Computer Science 86","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/3-540-10007-5_47","volume-title":"Abstract Software Specification","author":"D. Park","year":"1980","unstructured":"D. Park: On the Semantics of Fair Parallelism. In: D. Bj\u00f6rner (ed.): Abstract Software Specification. Lecture Notes in Computer Science 86, Berlin-Heidelberg-New York: Springer 1980, 504\u2013526"},{"key":"34_CR20","unstructured":"D. Park: The \u201cFairness\u201d Problem and Nondeterministic Computing Networks. Proc. 4th Foundations of Computer Science, Mathematical Centre Tracts 159, Mathematisch Centrum Amsterdam, (1983) 133\u2013161"},{"key":"34_CR21","unstructured":"Specification and Description Language (SDL), Recommendation Z. 100. Technical Report, CCITT 1988"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T08:42:51Z","timestamp":1554626571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014335"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614630","9783540685951"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0014335","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}