{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:16Z","timestamp":1742591416138,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180869"},{"type":"electronic","value":"9783540477433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18086-9_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:24:52Z","timestamp":1330197892000},"page":"1-20","source":"Crossref","is-referenced-by-count":6,"title":["Specification and properties of a cache coherence protocol model"],"prefix":"10.1007","author":[{"given":"C.","family":"Girault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Chatelain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"1_CR1","unstructured":"Ajmone Marsan, M., Chiola, G. and Conte, G. \"Generalized stochastic Petri net models of multiprocessors with cache memories\" Proc of 1 rst Int. Conf. on Supercomputing Systems, St Petersbourg Florida (December 1985), IEEE 85CH2216-0, pp690\u2013696."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Archibald, J. and Baer, J-L. \"An economical solution to the cache coherence problem.\" Proc of 11th Int. Symp. on Computer Architecture, IEEE, 1984, pp. 355\u2013362.","DOI":"10.1145\/800015.808205"},{"issue":"4","key":"1_CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/6513.6514","volume":"4","author":"J. Archibald","year":"1986","unstructured":"Archibald, J. and Baer, J-L. \"Cache coherence protocols: evaluation using a multiprocessor simulation model\" ACM TOCS, 4(4), november 1986, pp. 273\u2013298.","journal-title":"ACM TOCS"},{"key":"1_CR4","unstructured":"Auguin, M. and Boeri, F. \"Etude comparative de reseaux d'interconnection dans une architecture MIMD\". Congres sur les nouvelles architectures pour les communications, Paris (sept 1984)"},{"key":"1_CR5","unstructured":"Baer, J-L. and Girault, C. \"A Petri net solution for the cache coherence problem.\" Proc of 1rst Int. Conf. on Supercomputing Systems, St Petersbourg Florida (December 1985), IEEE 85CH2216-0, pp. 680\u2013689."},{"key":"1_CR6","unstructured":"Baer, J-L. and Girault, C. \"Design of a parallel architecture for a solution to the cache coherence problem.\" Parallel computing, Berlin, September 1985, North Holland."},{"issue":"1","key":"1_CR7","first-page":"73","volume":"4","author":"G. Berthelot","year":"1985","unstructured":"Berthelot, G. \"Analyse de processus parall\u00e8les par transformation de r\u00e9seaux de Petri.\" AFCET, T.S.I., vol4 n1, Janvier 1985, pp 73\u201382.","journal-title":"AFCET, T.S.I."},{"key":"1_CR8","unstructured":"Brams, G.W. \"R\u00e9seaux de Petri: th\u00e9orie et pratique.\" Masson ed. vol 1 and 2, Paris 1982 and 1983."},{"key":"1_CR9","unstructured":"Carlier, J., Chretienne, Ph. and Girault, C. \"Modeling scheduling problems with timed Petri nets\" 4th. European workshop on application and theory of Petri nets, Toulouse (September 1983)."},{"key":"1_CR10","first-page":"1112","volume":"12","author":"L.M. Censier","year":"1978","unstructured":"Censier, L.M. and Feautrier, P. \"A new solution to coherence problems in multicache systems.\" IEEE TC C-27, 12 (Dec 1978), pp. 1112\u20131118.","journal-title":"IEEE TC C-27"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Chi Yuan Chin and Kai Hwang. \"Connection principles for multipat packet switching networks\" Proc of 11th Int. Symp. on Computer Architecture, IEEE, June 1984, pp. 99\u2013108.","DOI":"10.1145\/773453.808171"},{"issue":"1","key":"1_CR12","first-page":"23","volume":"3","author":"P. Chretienne","year":"1984","unstructured":"Chretienne, P. \"Ex\u00e9cutions control\u00e9es des r\u00e9seaux de Petri temporis\u00e9s\" AFCET T.S.I., vol3 n1, Janvier 1984, pp 23\u201331.","journal-title":"AFCET T.S.I."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Diaz, M. \"Petri net based models for the specification and validation of protocols\". 5th. European workshop on application and theory of Petri nets, Aarhus (June 1984).","DOI":"10.1007\/3-540-15204-0_7"},{"key":"1_CR14","unstructured":"Finkel, A. and Memmi, G. \"FIFO nets: a new model of parallel computation\", 6th G.I. conference on theoretical computing, Dortmund (January 1983)."},{"issue":"1","key":"1_CR15","first-page":"143","volume":"4","author":"G. Florin","year":"1985","unstructured":"Florin, G. and Natkin, S. \"Les r\u00e9seaux de Petri stochastiques.\" AFCET, T.S.I., vol4 n1, Janvier 1985, pp 143\u2013160.","journal-title":"AFCET, T.S.I."},{"issue":"1","key":"1_CR16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/859526.859527","volume":"11","author":"D. Gajski","year":"1983","unstructured":"Gajski, D., Kuck, D., Lawrie, D. and Sameh, A. \"CEDAR: a large multiprocessor.\" Computer Architecture News 11, 1 (March 1983), pp. 7\u201311.","journal-title":"Computer Architecture News"},{"key":"1_CR17","unstructured":"Genrich, H.J. and Lautenbach, K. \"The analysis of distributed systems by means of Predicate \/ Transition nets\" semantics of concurrent computation, Lecture Notes in Computer Science no70, Springer Verlag 1979."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Genrich, H.J. \"Predicate \/ Transition nets\" Advanced course on Petri nets, Bad Honnef, September 1986.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"1_CR19","first-page":"175","volume":"2","author":"A. Gottlieb","year":"1983","unstructured":"Gottlieb, A., Grishman, R., Kruskal, C.P., Mc Auliffe, K.P., Rudolph, L. and Snir, M. \"The NYU ultra computer: Designing an MIMD shared memory parallel computer.\" IEEE TC C-32, 2 (Feb. 1983), pp. 175\u2013189.","journal-title":"IEEE TC C-32"},{"key":"1_CR20","unstructured":"Haddad, S. and Bernard, J.M. \"ARP a software for specification and validation of protocols and distributed applications\", 3rd Conference-Exhibition on Software engineering, AFCET, Versailles, May 1986."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Haddad, S and Girault. C. \"Algebraic structure of flows of a regular Colored Petri Nets\". 7th. European workshop on application and theory of Petri nets, Oxford (June 1986).","DOI":"10.1007\/3-540-18086-9_20"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Huber, P., Jensen, A.M., Jensen, L.O. and Jensen, K. \"Towards Reachability Tree for high-level Petri Nets\". 5th. European workshop on application and theory of Petri nets, Aarhus (June 1984).","DOI":"10.7146\/dpb.v11i151.7425"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Jensen, K. \"Coloured Petri nets and the invariant method\" T.C.S. 14, n 3, North Holland pub., (June 1981).","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"1_CR24","unstructured":"Jensen, K. \"Coloured Petri nets\" Advanced course on Petri nets, Bad Honnef, September 1986."},{"key":"1_CR25","unstructured":"Hwang, K. and Briggs, F.A. \"Computer architecture and parallel processing\", 1984, McGraw-Hill Books Company."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Katz, R.H., Eggers, S.J., Wood, D.A., Perkins, C.L. and Sheldon, R.G. \"Implementing a cache consistency protocol\" Proc of 12th Int. Symp. on Computer Architecture, IEEE, Boston, June 1985, pp. 276\u2013283.","DOI":"10.1145\/327070.327237"},{"key":"1_CR27","unstructured":"Kuehn, J.T., Schwederski, T. and Siegel, H.J. \"Design of a 1024-Processor PASM system\". Proc of 1rst Int. Conf. on Supercomputing Systems, St Petersbourg Florida (December 1985), IEEE 85CH2216-0, pp 603\u2013612."},{"key":"1_CR28","unstructured":"Kujansuu, R. and Lindqvist, M. \"Efficient algorithms for computing S-invariants for predicate\/transition nets\" 5th. European workshop on application and theory of Petri nets, Aarhus, (June 1984)."},{"key":"1_CR29","unstructured":"Memmi, G. \"M\u00e9thodes d'analyse de r\u00e9seaux de Petri, r\u00e9seaux \u00e0 files et applications aux syst\u00e8mes en temps r\u00e9el.\", Th\u00e8se d'\u00e9tat, Universit\u00e9 Paris 6, June 1983."},{"key":"1_CR30","unstructured":"Memmi, G. and Vautherin, J. \"Advanced Algebraic Techniques\" Advanced course on Petri nets, Bad Honnef, September 1986."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Papamarcos, M. and Patel, J. \"A Low Overhead Coherence Solution for multiprocessors with Private Cache Memories\". Proc of 11th Int. Symp. on Computer Architecture, IEEE, June 1984, pp. 348\u2013354.","DOI":"10.1145\/800015.808204"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Rudolf, L. and Segall, Z. \"Dynamic Decentralized Cache Schemes for MIMD Parallel Processors\". Proc of 11th Int. Symp. on Computer Architecture, IEEE, 1984, pp. 340\u2013347.","DOI":"10.1145\/800015.808203"},{"key":"1_CR33","unstructured":"Siegel, H.J. \"Interconnection networks for large-scale parallel processing.\" Lexington Books, 1985."},{"issue":"3","key":"1_CR34","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1145\/356887.356892","volume":"14","author":"A.J. Smith","year":"1982","unstructured":"Smith, A.J. \"Cache memories.\" Computing Surveys 14,3 (Sept. 1982), pp. 473\u2013530.","journal-title":"Computing Surveys"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Smith, A.J. \"Cache evaluation and the impact of workload choice\" Proc of 12th Int. Symp. on Computer Architecture, IEEE, Boston, June 1985, pp. 276\u2013283.","DOI":"10.1145\/327070.327132"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Vautherin, J. and Memmi, G. \"Computation of flows for unary Predicate \/ Transition nets\" 5th. European workshop on application and theory of Petri nets, Aarhus (June 1984).","DOI":"10.1007\/3-540-15204-0_25"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Vautherin, J. \"Non linear invariants for safe coloured Petri nets and application to the proof of parallel programs.\" 6th. European workshop on application and theory of Petri nets, Espoo, Finland (June 1985).","DOI":"10.1007\/BFb0016224"},{"key":"1_CR38","first-page":"56","volume":"1","author":"W.C. Yen","year":"1985","unstructured":"Yen, W.C., Yen, D.W.L. and King-Sun Fu \"Data Coherence Problem in a Multicache System\". IEEE TC C-34,1 (Jan 1985), pp. 56\u201365.","journal-title":"IEEE TC C-34"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1987"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18086-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:36:20Z","timestamp":1742589380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18086-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180869","9783540477433"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-18086-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}