{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:38Z","timestamp":1725663458515},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179450"},{"type":"electronic","value":"9783540471813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17945-3_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:21:24Z","timestamp":1330197684000},"page":"444-463","source":"Crossref","is-referenced-by-count":12,"title":["Task sequencing language for specifying distributed Ada systems TSL-1"],"prefix":"10.1007","author":[{"given":"D. C.","family":"Luckham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. P.","family":"Helmbold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. L.","family":"Bryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Haberler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"26_CR1","unstructured":"Bates, P.C. and Wileden, J.C. EDL: A Basis for Distributed System Debugging Tools. In Proceedings of Hawaii International Conference on System Sciences, pages 86\u201393. Hawaii International Conference on System Sciences, Honolulu, Hawaii, January, 1982."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Campbell,R.H. and Habermann, A.N. The Specification of Process Synchronization by Path-Expressions. Lecture Notes in Computer Science, 16, 1974.","DOI":"10.1007\/BFb0029355"},{"key":"26_CR3","unstructured":"Clocksin, W.F., and Mellish, C.S. Programming in Prolog. Springer-Verlag, 1981."},{"key":"26_CR4","unstructured":"Dahl, O.-J. Time Sequences as a Tool For Describing Program Behaviour Research Report in Informatics 48, University of Oslo, August, 1979."},{"key":"26_CR5","unstructured":"Helmbold, D.P. and Luckham, D.C. Debugging Ada Tasking Programs In Proceedings of the IEEE Computer Society 1984 Conference on Ada Applications and Environments, pages 96-110. IEEE, St. Paul, Minnesota, October 15\u201318, 1984. Also published, Stanford University Computer Systems Laboratory TR 84\u2013262, July, 1984, Program Analysis and Verification Group Report 25."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Helmbold, D.P., and Luckham, D.C. Runtime Detection and Description of Deadness Errors in Ada Tasking. CSL Technical Report 83\u2013249, Stanford University, November, 1983. Program Analysis and Verification Group Report 22.","DOI":"10.21236\/ADA142239"},{"issue":"2","key":"26_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D.P. Helmbold","year":"1985","unstructured":"Helmbold, D.P., and Luckham, D.C. Debugging Ada Tasking Programs. IEEE Software 2(2):47\u201357, March, 1985. In Proceedings of the IEEE Computer Society 1984 Conference on Ada Applications and Environments, pp.96\u2013110. IEEE, St. Paul, Minnesota, October 15\u201318, 1984. Also published as Stanford University CSL TR.84-263, July, 1984.","journal-title":"IEEE Software"},{"key":"26_CR8","first-page":"255","volume-title":"Proceedings of the 1985 SIGAda International Conference","author":"D. P. Helmbold","year":"1985","unstructured":"Helmbold, D.P., and Luckham, D.C. TSL: Task Sequencing Language. In Proceedings of the 1985 SIGAda International Conference, pages 255\u2013274, ACM, Paris, France, May, 1985. Also published in a special edition of Ada Letters, Vol.V, Issue 2, September-October 1985."},{"key":"26_CR9","unstructured":"Hewitt, C. Planner: A Language for Proving Theorems and Manipulating Models in a Robot. Massachusetts Institute of Technology, January, 1971."},{"key":"26_CR10","first-page":"993","volume-title":"Proceedings of IFIP Congress '77","author":"G. Kahn","year":"1977","unstructured":"Kahn, G. and MacQueen, D. Coroutines and Networks of Parallel Processes. In Proceedings of IFIP Congress '77, pages 993\u2013998, North-Holland Publishing Company, Amsterdam, August, 1977."},{"issue":"3","key":"26_CR11","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., and Pease, M. The Byzantine Generals Problem. Transactions of Programming Languages and Systems, 4(3):382\u2013401, July, 1982.","journal-title":"Transactions of Programming Languages and Systems"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Ledoux, C., and Parker, D.S. Saving Traces for Ada Debugging. In Proceedings of the Ada International Conference'85, pages 97\u2013108, Cambridge University Press, 1985.","DOI":"10.1145\/324422.324385"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Luckham, D.C., Helmbold, D.P., Bryan, D.L., and Meldal, S. Task Sequencing Language for Specifying Distributed Ada Systems: TSL-1. Forthcoming CSL Technical Report, 1987.","DOI":"10.1007\/3-540-17945-3_26"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Peterson, J.L. Petri Nets. Computing Surveys, 9(3), September, 1977.","DOI":"10.1145\/356698.356702"}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17945-3_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:42Z","timestamp":1605644022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17945-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179450","9783540471813"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-17945-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}