乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:28:30Z","timestamp":1720625310116},"reference-count":35,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(05)80233-6","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"107-133","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["The Semantics of Triveni: A process-Algebraic API for Threads + Events"],"prefix":"10.1016","volume":"14","author":[{"given":"Christopher","family":"Colby","sequence":"first","affiliation":[]},{"given":"Lalita","family":"Jategaonkar","sequence":"additional","affiliation":[]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","affiliation":[]},{"given":"Konstantin","family":"L\u00e4ufer","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Puchol","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80233-6_BIB1","first-page":"226","volume":"2","author":"Apt","year":"1988","journal-title":"Appraising fairness in languages for distributed programming, Distributed Programming"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB2","doi-asserted-by":"crossref","unstructured":"Benveniste, A. and G. Berry. The synchronous approach to reactive and real-time systems, In special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.","DOI":"10.1109\/5.97297"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB3","article-title":"Preemption in concurrent systems","volume":"781","author":"Berry","year":"1993"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The ESTEREL synchronous programming language: design, semantics, implementation","volume":"19","author":"Berry","year":"1992","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB5","doi-asserted-by":"crossref","unstructured":"Berry, G., S. Ramesh, and R.K. Shyamsunder. Communicating reactive processes, in: Proceedings of Twentieth ACM Symposium on Principles of Programming Languages, 1993, pages 85-98.","DOI":"10.1145\/158511.158526"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB6","doi-asserted-by":"crossref","unstructured":"Brinksma, E., A. Rensink, and W. Vogler. Fair testing, In Proceedings of International Conference on Concurrency Theory, Lecture Notes in Computer Science 962 (1995), pages 313-327.","DOI":"10.1007\/3-540-60218-6_23"},{"issue":"3","key":"10.1016\/S1571-0661(05)80233-6_BIB7","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","article-title":"A Theory of communicating sequential process","volume":"31","author":"Brookes","year":"1984","journal-title":"Journal of the Association of Computing machinery"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB8","doi-asserted-by":"crossref","unstructured":"Colby, C., L. J. Jagadeesan, R. Jagadeesan, K. L\u00e4 ufer, and C. Puchol, Design and implementation of Triveni: A Process-algebraic API for threads + events, in: Proceedings of the 1998 IEEE International Conference on Computer Languages. IEEE Computer Press, To appear.","DOI":"10.1016\/S1571-0661(05)80233-6"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB9","series-title":"Triveni: A telecommunication case study in Java, in: Proceedinngs of the Fourth USENIX Conference on Object Oriented Technologies and Systems","article-title":"Objects and Concurrency","author":"Colby","year":"1998"},{"issue":"5","key":"10.1016\/S1571-0661(05)80233-6_BIB10","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF01178582","article-title":"The expressive power of delay operators in SCCS","volume":"28","author":"Carol","year":"1991","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB11","series-title":"\u201cTrace Theory for Automatic Hierarchical Verification of Speed- Independent Circuits,\u201d ACM Distinguished Dissertations","author":"Dill","year":"1988"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB12","series-title":"\u201cHandbook of Theoretical Computer Science,\u201d chapter Temporal and modal logic","first-page":"995","author":"Emerson","year":"1990"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB13","doi-asserted-by":"crossref","unstructured":"Fournet, C\u00e9dric, Georges Gonthier, Jean-Jacques L\u00e9vy_ Luc Maranget, and Didier R\u00e9my, A calculus of mobile agents, in: 7th International Conference on Concurrency Theory (CONCUR\u203296), Pisa, Italy, August 1996, LNCS 1119 (1996), Springer-Verlag, pages 406-421.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB14","doi-asserted-by":"crossref","unstructured":"Le Guernic, P., M. Le Borgne, T. Gauthier and C. Le Maire, Programming real time applications with SIGNAL, in: Special Issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.","DOI":"10.1109\/5.97301"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB15","series-title":"\u201cDesign Patterns: Elements of Reusable Object-Oriented Software,\u201d","author":"Erich","year":"1995"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB16","doi-asserted-by":"crossref","unstructured":"Gawlick, R., R. Segala, J. F. S\u00f8gaard-Andersen and N. Lynch, Liveness in timed and untimed systems, in: Proceedings 21st ICALP, Lecture Notes in Computer Science 820 (1994).","DOI":"10.1007\/3-540-58201-0_66"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB17","series-title":"\u201cSynchronous Programming of Reactive Systems,\u201d The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers","author":"Halbwachs","year":"1993"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB18","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., P. Caspi, P. Raymond and D. Pilaud. The synchronous data-flow programming language LUSTRE, Proceedings of the IEEE 79 (1991), pp. 1305-1320.","DOI":"10.1109\/5.97300"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB19","first-page":"231","volume":"8","author":"Harel","year":"1987","journal-title":"Statecharts: a visual approach to complex systems, Science of Computer Programming"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB20","first-page":"121","volume":"49","author":"Hennessy","year":"1987","journal-title":"An algebraic theory of fair asynchronous communicating processes, Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB21","unstructured":"Jategaonkar, Lalita, \u201cObserving \u201cTrue\u201d Concurrency,\u201d PhD thesis, Massachusetts Institute of Technology, September 1993."},{"key":"10.1016\/S1571-0661(05)80233-6_BIB22","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF01178564","volume":"29","author":"Josephs","year":"1992","journal-title":"Receptive process theory, Acta Informatica"},{"issue":"3","key":"10.1016\/S1571-0661(05)80233-6_BIB23","first-page":"219","article-title":"An introduction to input-output automata, CWI Quarterly 1989","volume":"2","author":"Lynch","year":"1989","journal-title":"Also available as MIT Technical Memo MIT-LCS-TM-373"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB24","unstructured":"Milner, Robin, The polyadic \u03c0-calculus: a tutorial, Technical Report ECS- LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, oct 1991. Appeared in Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991. Reprinted in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer, and H. Schwichtenberg, Springer-Verlag, 1993."},{"key":"10.1016\/S1571-0661(05)80233-6_BIB25","series-title":"\u201cThe Temporal Logic of Reactive and Concurrent Systems,\u201d","first-page":"427","author":"Manna","year":"1991"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB26","series-title":"Technical report, University of Edinburgh","article-title":"Mobile processes","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB27","doi-asserted-by":"crossref","unstructured":"Natarajan, V. and R. Cleaveland. Divergence and fair testing, in: Proceedings of ICALP 95, Springer-Verlag, 1995, pages 648-659.","DOI":"10.1007\/3-540-60084-1_112"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB28","doi-asserted-by":"crossref","unstructured":"Panangaden, P. and V. Shanbhogue, Mccarthy\u2032s AMB cannot implement fair merge, in: Proceedings of the Eighth FSTTSC Conference, LNCS 338 (1988), pp. 348-363.","DOI":"10.1007\/3-540-50517-2_90"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB29","doi-asserted-by":"crossref","unstructured":"Panangaden, P. and E. W. Stark, Computations, residuals and the power of indeterminacy, in: Timo Lepisto and Arto Salomaa, editors, Proceedings of the Fifteenth ICALP, Lecture Notes in Computer Science 317 (1988), Springer-Verlag, pp. 439-454.","DOI":"10.1007\/3-540-19488-6_133"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB30","unstructured":"Sangiorgi, D., \u201cExpressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms,\u201d PhD thesis, University of Edinburgh, 1992."},{"key":"10.1016\/S1571-0661(05)80233-6_BIB31","series-title":"Technical Memo MIT-LCS-TR-557, Massachusetts Institute of Technology, Cambridge, MA 02139","article-title":"A process algebraic view of I\/O automata","author":"Segala","year":"1992"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB32","doi-asserted-by":"crossref","unstructured":"Stark, E. W., On the relations computed by a class of concurrent automata, in: Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, ACM, 1990, pages 329-340.","DOI":"10.1145\/96709.96743"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB33","unstructured":"Vaandrager, F. W., On the relationship between process algebra and input\/output automata, in: Proceedings 6th Annual Symposium on Logic in Computer Science, 1991, pages 387-398."},{"key":"10.1016\/S1571-0661(05)80233-6_BIB34","first-page":"252","volume":"625","author":"Walter","year":"1992"},{"key":"10.1016\/S1571-0661(05)80233-6_BIB35","doi-asserted-by":"crossref","unstructured":"Walker, D. J., \u03c0-calculus semantics of object oriented languages, in: Proceedings of the Conference on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 526 (1991).","DOI":"10.1007\/3-540-54415-1_63"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802336?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802336?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T08:04:35Z","timestamp":1683101075000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105802336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":35,"alternative-id":["S1571066105802336"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80233-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}