{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:14Z","timestamp":1761596894949},"reference-count":29,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            A denotational semantics and a sound and complete inequational proof systems for processes with varying degrees of liveness is presented. New insights on\n            <jats:italic>quiescence<\/jats:italic>\n            are given concerning the Jonsson characterisation of input\/output system. A theory of\n            <jats:italic>transational behaviour<\/jats:italic>\n            of the type\n            <jats:italic>carry out until the end<\/jats:italic>\n            is developed as an application of this concept of process with liveness requirements. The proposed model fully reflects the parallel composition of\n            <jats:italic>transactional requirements<\/jats:italic>\n            , giving the expected composite requirements.\n          <\/jats:p>","DOI":"10.1007\/bf01214621","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T16:30:35Z","timestamp":1109349035000},"page":"18-36","source":"Crossref","is-referenced-by-count":4,"title":["Progress assumption in concurrent systems"],"prefix":"10.1145","volume":"7","author":[{"given":"J. F.","family":"Costa","sequence":"first","affiliation":[{"name":"INESC, Apartado 10105, 1017, Lisboa Codex, Portugal"}]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[{"name":"INESC, Apartado 10105, 1017, Lisboa Codex, Portugal"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Bauer F. L. et al. : The Munich Project CIP Vol. I: The Wide Spectrum Language CIP-L. In: Lecture Notes in Computer Science 183 Springer-Verlag 1985."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Bauer F. L. et al. : The Munich Project CIP Vol. II: The Program Transformation System CIP-S. In: Lecture Notes in Computer Science 292 Springer-Verlag 1987.","DOI":"10.1007\/3-540-18779-0"},{"key":"e_1_2_1_2_3_2","unstructured":"Bernstein P. A. Hadzilacos V. and Goodman N.: Concurrency Control and Recovery in Database Systems Addison-Wesley 1987."},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Brookes S. Hoare C. A. R. and Roscoe A.: A Theory of Communicating Sequential Processes. Journal of the ACM 31 (7) (1984).","DOI":"10.1145\/828.833"},{"key":"e_1_2_1_2_5_2","first-page":"136","article-title":"Atomic Actions","volume":"38","author":"Boudol G.","year":"1989","journal-title":"Bulletin EACS"},{"key":"e_1_2_1_2_6_2","unstructured":"Cellary W. Gelenbe E. and Morzy T.: Concurrency Control in Distributed Database Systems North-Holland 1988."},{"key":"e_1_2_1_2_7_2","unstructured":"Costa J. F.: Teoria Alg\u00e9brica dos Processos Animados MSc Thesis available as a technical report Universidade T\u00e9cnica de Lisboa September 1989."},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Ehrich H.-D. and Sernadas A.: Algebraic Implementation of Objects Over Objects. In: Lecture Notes in Computer Science 430 Springer-Verlag 1990.","DOI":"10.1007\/3-540-52559-9_67"},{"key":"e_1_2_1_2_9_2","unstructured":"Ehrich H.-D. Sernadas A. and Sernadas C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK 26 (1 2) (1990)."},{"key":"e_1_2_1_2_10_2","unstructured":"Gifford D. K. and Donahue J. E.: Coordinating Independent Atomic Actions. In: Processings COMPCON 85 1985."},{"key":"e_1_2_1_2_11_2","unstructured":"Gorrieri G. and Montanari U \u201cTowards Hierarchical Description of Systems; a Proof System for Strong Prefixing\u201d to appear in Foundations of Computer Science."},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054190000205"},{"key":"e_1_2_1_2_13_2","unstructured":"Gorrieri R. and Montanari U.: SCONE: a Simple Calculus of Nets. In: Lecture Notes in Computer Science 458 Springer-Verlag 1990."},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90035-G"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Gray J.: A Translational Model. In: Lecture Notes in Computer Science 85 Springer-Verlag 1980.","DOI":"10.1007\/3-540-10003-2_78"},{"key":"e_1_2_1_2_16_2","unstructured":"Hennessy M.: Algebraic Theory of Processes MIT Press 1988."},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Hoare C. A. R.: Communicating Sequential Processes Prentice-Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Janssen J. Poel M. and Zwiers J.: Action Systems and Action Refinement in Development of Parallel Systems. In: CONCUR 91 LNCS 527 pp. 298\u2013316 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Jonsson B.: A Model and Proof System for Asynchronous Networks. In: Proceedings of the 4th Annual ACM Symposium on Principles on Distributed Computing Minaka Canada 1985.","DOI":"10.1145\/323596.323601"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Kanellakis P. C.: The Complexity of Concurrency Control for Distributed Databases PhD thesis MIT 1981.","DOI":"10.1109\/SFCS.1981.45"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230844"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Misra J. Chandy K. and Smith T.: Proving Safety and liveness of communicating processes with examples. In: Proc. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing pp. 201\u2013208 1982.","DOI":"10.1145\/800220.806698"},{"key":"e_1_2_1_2_23_2","unstructured":"Misra J.: Reasoning About Networks of Communicating Processes. In: INRIA Advanced Nato Study Institute on Logics and Models for Verification and Specification of Concurrent Systems Nice France 1984."},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Manna Z. and Pnueli A.: The Temporal Logic of Reactive and Concurrent Systems Springer-Verlag 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Nielsen M. Engberg U. and Larsen K.: Fully Abstract Models for a Process Language with Refinement. In: Lecture Notes in Computer Science 354 1989.","DOI":"10.1007\/BFb0013034"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"Olderog E.-R.: Nets Terms and Formulas Cambridge Tracts in Theoretical Computer Science 23 Cambridge University Press 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"e_1_2_1_2_27_2","unstructured":"Sernadas A. Fiadeiro J. Sernadas C. and Ehrich H.-D.: Basic Building Blocks of Information Systems. In: E. Falkenberg and P. Lindgreen (eds) Information System Concepts: An In-depth Analysis North-Holland pp. 225\u2013246 1989."},{"key":"e_1_2_1_2_28_2","unstructured":"Sernadas A. Ehrich H.-D. and Costa J. F.: From processes to Objects. The IBNESC Journal of Research and Development 1(1) (1990)."},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Van de Snepscheut J.: Trace Theory and VLSI Design. In: Lecture Notes in Computer Science 200 1985.","DOI":"10.1007\/BFb0031414"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01214621.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01214621\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01214621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:21:50Z","timestamp":1641482510000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01214621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1007\/BF01214621"],"URL":"https:\/\/doi.org\/10.1007\/bf01214621","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}