{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:04Z","timestamp":1725663604145},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569398"},{"type":"electronic","value":"9783540478263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_100","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:56:20Z","timestamp":1330257380000},"page":"532-543","source":"Crossref","is-referenced-by-count":5,"title":["Timed testing of concurrent systems"],"prefix":"10.1007","author":[{"given":"Walter","family":"Vogler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"E. Best. Weighted basic Petri nets. In F.H. Vogt, editor, Concurrency 88, Lect. Notes Comp. Sci. 335, 257\u2013276. Springer, 1988.","DOI":"10.1007\/3-540-50403-6_44"},{"key":"44_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola and M.C.B. Hennessy. Testing equivalence for processes. Theoret. Comput. Sci., 34:83\u2013133, 1984.","journal-title":"Theoret. Comput. Sci."},{"key":"44_CR3","unstructured":"R.J. v. Glabbeek. The refinement theorem for ST-bisimulation semantics. In M. Broy and C.B. Jones, editors, Proc. IFIP Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 1990. To appear."},{"key":"44_CR4","volume-title":"Technical Report 11\/91","author":"M. Hennessy","year":"1991","unstructured":"M. Hennessy. Concurrent testing of processes. Technical Report 11\/91, Dept. Comp. Sci. Univ. of Sussex, Brighton, 1991."},{"key":"44_CR5","volume-title":"Technical Report 2\/90","author":"M. Hennessy","year":"1990","unstructured":"M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2\/90, Dept. Comp. Sci. Univ. of Sussex, Brighton, 1990."},{"key":"44_CR6","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I. Phillips","year":"1987","unstructured":"I. Phillips. Refusal testing. Theoret. Comput. Sci., 50:241\u2013284, 1987.","journal-title":"Theoret. Comput. Sci."},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe. Metric spaces as models for real-time concurrency. In Third Workshop on the Mathematical Foundations of Programming Language Semantics, Lect. Notes Comp. Sci. 298, 331\u2013343. Springer, 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"44_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G. M. Reed","year":"1988","unstructured":"G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoret. Comput. Sci., 58:249\u2013261, 1988.","journal-title":"Theoret. Comput. Sci."},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"P.H. Starke. Some properties of timed nets under the earliest firing rule. In G. Rozenberg, editor, Advances in Petri Nets 1989, Lect. Notes Comp. Sci. 424, 418\u2013432. Springer, 1990.","DOI":"10.1007\/3-540-52494-0_39"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. Lect. Notes Comp. Sci. 625. Springer, 1992.","DOI":"10.1007\/3-540-55767-9"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:21Z","timestamp":1605647241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}