{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:43:07Z","timestamp":1725518587434},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875628"},{"type":"electronic","value":"9783540875635"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87563-5_4","type":"book-chapter","created":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T01:54:32Z","timestamp":1221443672000},"page":"46-83","source":"Crossref","is-referenced-by-count":36,"title":["On Mathematical Laws of Software"],"prefix":"10.1007","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1985","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, New York. Addison-Wesley Publication Co, Reading (1985)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"Baeten, J.C.M., Bergstra, J.A.: Real Time Process Algebra. Formal Aspects of Computing\u00a03, 142\u2013188 (1991)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR3","unstructured":"Boole, G.: The Laws of Thought, Prometheus Books, NY (1854) (reprint, 2003)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"A. Boucher","year":"1987","unstructured":"Boucher, A., Gerth, R.: A Timed Model for Extended Communicating Sequential Processes. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol.\u00a0267. Springer, Heidelberg (1987)"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On Understanding Types, Data Abstraction and Polymorphism. ACM Computing Surveys\u00a017(4), 471\u2013522 (1985)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N. Chomsky","year":"1956","unstructured":"Chomsky, N.: Three Models for the Description of Languages. I.R.E. Transactions on Information Theory\u00a02(3), 113\u2013124 (1956)","journal-title":"I.R.E. Transactions on Information Theory"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N. Chomsky","year":"1959","unstructured":"Chomsky, N.: On Certain Formal Properties of Grammars. Information and Control\u00a02, 137\u2013167 (1959)","journal-title":"Information and Control"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-46428-X_6","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Dierks","year":"2000","unstructured":"Dierks, H.: A Process Algebra for Real-Time Programs. In: Maibaum, T.S.E. (ed.) ETAPS 2000 and FASE 2000. LNCS, vol.\u00a01783, pp. 66\u201376. Springer, Heidelberg (2000)"},{"key":"4_CR9","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)"},{"issue":"3","key":"4_CR10","first-page":"346","volume":"8","author":"H. Fecher","year":"2001","unstructured":"Fecher, H.: A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nordic Journal of Computing\u00a08(3), 346\u2013360 (2001)","journal-title":"Nordic Journal of Computing"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal of the ACM\u00a024(1), 59\u201368 (1977)","journal-title":"Journal of the ACM"},{"key":"4_CR12","unstructured":"Higman, B.: A Comparative Study of Programming Languages, 2nd edn. MacDonald (1977)"},{"issue":"10","key":"4_CR13","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"issue":"8","key":"4_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"4_CR15","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, London (1985)"},{"issue":"8","key":"4_CR16","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Hayes, I.J., He, J., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of Programming. Communications of he ACM\u00a030(8), 672\u2013686 (1987)","journal-title":"Communications of he ACM"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BFb0031999","volume-title":"Real-Time: Theory in Practice","author":"A.S. Klusener","year":"1992","unstructured":"Klusener, A.S.: Abstraction in Real Time Process Algebra. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 325\u2013352. Springer, Heidelberg (1992)"},{"key":"4_CR18","volume-title":"Programming Languages: Principles and Practice","author":"K.C. Louden","year":"1993","unstructured":"Louden, K.C.: Programming Languages: Principles and Practice. PWS-Kent Publishing Co., Boston (1993)"},{"key":"4_CR19","volume-title":"Logic Colloquium 1973","author":"P. Martin-Lof","year":"1975","unstructured":"Martin-Lof, P.: An Intuitionistic Theory of Types: Predicative Part. In: Rose, H., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland, Amsterdam (1975)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"volume-title":"Software Engineer\u2019s Reference Book","year":"1991","key":"4_CR21","unstructured":"McDermid, J.A. (ed.): Software Engineer\u2019s Reference Book. Butterworth-Heinemann Ltd., Oxford (1991)"},{"key":"4_CR22","first-page":"365","volume-title":"Handbook of Theoretical Computer Science","author":"J.C. Mitchell","year":"1990","unstructured":"Mitchell, J.C.: Type systems for programming languages. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 365\u2013458. North Holland, Amsterdam (1990)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-55179-4_36","volume-title":"Computer Aided Verification","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 376\u2013398. Springer, Heidelberg (1992)"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1109\/TSE.1986.6312940","volume":"12","author":"D.L. Parnas","year":"1986","unstructured":"Parnas, D.L., Clements, P.C.: A Rational Design Process: How and Why to Fake It. IEEE Trans. on Software Engineering\u00a012(2), 251\u2013257 (1986)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"G.M. Reed","year":"1986","unstructured":"Reed, G.M., Roscoe, A.W.: A Timed model for Communicating Sequential Processes. In: Kott, L. (ed.) ICALP 1986. LNCS, vol.\u00a0226. Springer, Heidelberg (1986)"},{"key":"4_CR26","unstructured":"Scott, D.S., Strachey, C.: Towards a Mathematical Semantics for Computer Languages, Programming Research Group Technical Report PRG-1-6, Oxford University (1971)"},{"key":"4_CR27","unstructured":"Schneider, S.A.: An Operational Semantics for Timed CSP, Programming Research Group Technical Report TR-1-91, Oxford University (1991)"},{"key":"4_CR28","volume-title":"Data Structures with Abstract Data Types and Pascal","author":"D.F. Stubbs","year":"1985","unstructured":"Stubbs, D.F., Webre, N.W.: Data Structures with Abstract Data Types and Pascal. Brooks\/Cole Publishing Co., Monterey (1985)"},{"key":"4_CR29","first-page":"1549","volume-title":"Proc. 17th Canadian Conference on Electrical and Computer Engineering (CCECE 2004)","author":"X. Tan","year":"2004","unstructured":"Tan, X., Wang, Y., Ngolah, C.F.: A Novel Type Checker for Software System Specifications in RTPA. In: Proc. 17th Canadian Conference on Electrical and Computer Engineering (CCECE 2004), Niagara Falls, ON, Canada, pp. 1549\u20131552. IEEE CS Press, Los Alamitos (2004)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Tan, X., Wang, Y., Ngolah, C.F.: Design and Implementation of an Automatic RTPA Code Generator. In: Proc. 19th Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, ON, Canada, pp. 1605\u20131608 (May 2006)","DOI":"10.1109\/CCECE.2006.277743"},{"key":"4_CR31","first-page":"13","volume":"4","author":"A. Tarski","year":"1944","unstructured":"Tarski, A.: The Semantic Conception of Truth. Philosophic Phenomenological Research\u00a04, 13\u201347 (1944)","journal-title":"Philosophic Phenomenological Research"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1020561826073","volume":"14","author":"Y. Wang","year":"2002","unstructured":"Wang, Y.: The Real-Time Process Algebra (RTPA). Annals of Software Engineering: A International Journal\u00a014, 235\u2013274 (2002)","journal-title":"Annals of Software Engineering: A International Journal"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/COGINF.2002.1039280","volume-title":"Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002)","author":"Y. Wang","year":"2002","unstructured":"Wang, Y.: On Cognitive Informatics (Keynote Speech). In: Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), Calgary, Canada, pp. 34\u201342. IEEE CS Press, Los Alamitos (2002)"},{"issue":"3","key":"4_CR34","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1025401527570","volume":"4","author":"Y. Wang","year":"2003","unstructured":"Wang, Y.: On Cognitive Informatics. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, USA\u00a04(3), 151\u2013167 (2003)","journal-title":"Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, USA"},{"issue":"2","key":"4_CR35","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1025457612549","volume":"4","author":"Y. Wang","year":"2003","unstructured":"Wang, Y.: Using Process Algebra to Describe Human and Software System Behaviors. Brain and Mind\u00a04(2), 199\u2013213 (2003)","journal-title":"Brain and Mind"},{"issue":"2","key":"4_CR36","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/TSMCC.2006.871138","volume":"36","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: On the Informatics Laws and Deductive Semantics of Software. IEEE Transactions on Systems, Man, and Cybernetics (C)\u00a036(2), 161\u2013171 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics (C)"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/COGINF.2006.365666","volume-title":"Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006)","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: Keynote: Cognitive Informatics - Towards the Future Generation Computers that Think and Feel. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, pp. 3\u20137. IEEE CS Press, Los Alamitos (2006)"},{"key":"4_CR38","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11795131_12","volume-title":"Rough Sets and Knowledge Technology","author":"Y. Wang","year":"2006","unstructured":"Wang, Y.: Cognitive Informatics and Contemporary Mathematics for Knowledge Representation and Manipulation (Invited Plenary Talk). In: Wang, G.-Y., Peters, J.F., Skowron, A., Yao, Y. (eds.) RSKT 2006. LNCS (LNAI), vol.\u00a04062, pp. 69\u201378. Springer, Heidelberg (2006)"},{"key":"4_CR39","series-title":"CRC Series in Software Engineering","doi-asserted-by":"publisher","DOI":"10.1201\/9780203496091","volume-title":"Software Engineering Foundations: A Software Science Perspective","author":"Y. Wang","year":"2007","unstructured":"Wang, Y.: Software Engineering Foundations: A Software Science Perspective. CRC Series in Software Engineering, vol.\u00a0II. Auerbach Publications, Boca Raton (2007)"},{"issue":"1","key":"4_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcini.2007010101","volume":"1","author":"Y. Wang","year":"2007","unstructured":"Wang, Y.: The Theoretical Framework of Cognitive Informatics. International Journal of Cognitive Informatics and Natural Intelligence\u00a01(1), 1\u201327 (2007)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"4_CR41","unstructured":"Wang, Y.: Keynote: On Theoretical Foundations of Software Engineering and Denotational Mathematics. In: Proc. 5th Asian Workshop on Foundations of Software, Xiamen, China, pp. 99\u2013102 (2007)"},{"issue":"1","key":"4_CR42","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4018\/jcini.2008010102","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On the Big-R Notation for Describing Iterative and Recursive Behaviors. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(1), 17\u201328 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"4_CR43","doi-asserted-by":"publisher","first-page":"95","DOI":"10.4018\/jcini.2008040106","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: Deductive Semantics of RTPA. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 95\u2013121 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"4_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcini.2008040101","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 1\u201319 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"4_CR45","doi-asserted-by":"publisher","first-page":"20","DOI":"10.4018\/jcini.2008040102","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On System Algebra: A Denotational Mathematical Structure for Abstract System modeling. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 20\u201342 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"4_CR46","doi-asserted-by":"publisher","first-page":"44","DOI":"10.4018\/jcini.2008040103","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 44\u201362 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"4_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcini.2007040101","volume":"1","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On Laws of Work Organization in Human Cooperation. International Journal of Cognitive Informatics and Natural Intelligence\u00a01(2), 1\u201315 (2008)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"4_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/978-3-540-87563-5_2","volume-title":"Transactions of Computational Science, II","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence. In: Gavrilova, M.L., et al. (eds.) Computational Intelligence: Research Frontiers. LNCS, vol.\u00a05150, pp. 6\u201329. Springer, Heidelberg (2008)"},{"key":"4_CR49","unstructured":"Wang, Y., Noglah, C.F.: Formal Specification of a Real-Time Lift Dispatching System. In: Proc. 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2002), Winnipeg, Manitoba, Canada, pp. 669\u2013674 (May 2002)"},{"key":"4_CR50","first-page":"1247","volume-title":"Proc. 2003 Canadian Conference on Electrical and Computer Engineering (CCECE 2003)","author":"Y. Wang","year":"2003","unstructured":"Wang, Y., Noglah, C.F.: Formal Description of Real-Time Operating Systems using RTPA. In: Proc. 2003 Canadian Conference on Electrical and Computer Engineering (CCECE 2003), Montreal, Canada, pp. 1247\u20131250. IEEE CS Press, Los Alamitos (2003)"},{"key":"4_CR51","first-page":"1255","volume-title":"Proc. 16th Canadian Conference on Electrical and Computer Engineering (CCECE 2003)","author":"Y. Wang","year":"2003","unstructured":"Wang, Y., Zhang, Y.: Formal Description of an ATM System by RTPA. In: Proc. 16th Canadian Conference on Electrical and Computer Engineering (CCECE 2003), Montreal, Canada, pp. 1255\u20131258. IEEE CS Press, Los Alamitos (2003)"},{"key":"4_CR52","volume-title":"Comparative Programming Language","author":"L.B. Wilson","year":"1988","unstructured":"Wilson, L.B., Clark, R.G.: Comparative Programming Language. Addison-Wesley Publishing Co, Reading (1988)"},{"key":"4_CR53","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall International, London (1996)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87563-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T05:03:00Z","timestamp":1551589380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87563-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875628","9783540875635"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87563-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}