You, Zhen; Xue, Jinyun; Ying, Shi Categorial semantics of a solution to distributed dining philosophers problem. (English) Zbl 1288.68029 Lee, Der-Tsai (ed.) et al., Frontiers in algorithmics. 4th international workshop, FAW 2010, Wuhan, China, August 11–13, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14552-0/pbk). Lecture Notes in Computer Science 6213, 172-184 (2010). MSC: 68M14 18C50 68Q55 PDF BibTeX XML Cite \textit{Z. You} et al., Lect. Notes Comput. Sci. 6213, 172--184 (2010; Zbl 1288.68029) Full Text: DOI OpenURL
Pike, Scott M.; Song, Yantao; Sastry, Srikanth Wait-free dining under eventual weak exclusion. (English) Zbl 1131.68343 Rao, Shrisha (ed.) et al., Distributed computing and networking. 9th international conference, ICDCN 2008, Kolkata, India, January 5–8, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77443-3/pbk). Lecture Notes in Computer Science 4904, 135-146 (2008). MSC: 68M14 68M15 68M20 PDF BibTeX XML Cite \textit{S. M. Pike} et al., Lect. Notes Comput. Sci. 4904, 135--146 (2008; Zbl 1131.68343) Full Text: DOI Link OpenURL
Naish, Lee Resource-oriented deadlock analysis. (English) Zbl 1213.68192 Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 302-316 (2007). MSC: 68N19 68N17 PDF BibTeX XML Cite \textit{L. Naish}, Lect. Notes Comput. Sci. 4670, 302--316 (2007; Zbl 1213.68192) Full Text: DOI OpenURL
Ha, Phuong Hoai; Tsigas, Philippas; Wattenhofer, Mirjam; Wattenhofer, Rogert Efficient multi-word locking using randomization. (English) Zbl 1314.68379 Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 249-257 (2005). MSC: 68W15 68M14 68N19 68N25 68Q17 68W20 PDF BibTeX XML Cite \textit{P. H. Ha} et al., in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 249--257 (2005; Zbl 1314.68379) Full Text: DOI Link OpenURL
Datta, Ajoy K.; Gradinariu, Maria; Raynal, Michel Stabilizing mobile philosophers. (English) Zbl 1185.68108 Inf. Process. Lett. 95, No. 1, 299-306 (2005). MSC: 68M20 68M14 68M15 68W05 PDF BibTeX XML Cite \textit{A. K. Datta} et al., Inf. Process. Lett. 95, No. 1, 299--306 (2005; Zbl 1185.68108) Full Text: DOI OpenURL
Carvalho, D.; Protti, Fábio; De Gregorio, Massimo; França, Felipe M. G. A novel distributed scheduling algorithm for resource sharing under near-heavy load. (English) Zbl 1129.68396 Higashino, Teruo (ed.), Principles of distributed systems. 8th international conference, OPODIS 2004, Grenoble, France, December 15–17, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27324-7/pbk). Lecture Notes in Computer Science 3544, 431-442 (2005). MSC: 68M20 68M14 PDF BibTeX XML Cite \textit{D. Carvalho} et al., Lect. Notes Comput. Sci. 3544, 431--442 (2005; Zbl 1129.68396) Full Text: DOI OpenURL
Duflot, Marie; Fribourg, Laurent; Picaronny, Claudine Randomized dining philosophers without fairness assumption. (English) Zbl 1448.68091 Distrib. Comput. 17, No. 1, 65-76 (2004). MSC: 68M14 68M20 68W20 PDF BibTeX XML Cite \textit{M. Duflot} et al., Distrib. Comput. 17, No. 1, 65--76 (2004; Zbl 1448.68091) Full Text: DOI OpenURL
Yen, Li-Hsing; Chi, Kuang-Hwei Maintaining a ring structure for mobile ad hoc computing. (English) Zbl 1073.68517 J. Parallel Distrib. Comput. 64, No. 12, 1371-1379 (2004). MSC: 68M10 PDF BibTeX XML Cite \textit{L.-H. Yen} and \textit{K.-H. Chi}, J. Parallel Distrib. Comput. 64, No. 12, 1371--1379 (2004; Zbl 1073.68517) Full Text: DOI OpenURL
Bui, Alain Optimization and hierachies for lumped distributed networks. (English) Zbl 1004.90012 Migdalas, Athanasios (ed.) et al., From local to global optimization. Papers from the conference dedicated to Professor Hoang Tuy on the occasion of his 70th birthday, Rimforsa, Sweden, August 1997. Dordrecht: Kluwer Academic Publishers. Nonconvex Optim. Appl. 53, 105-132 (2001). MSC: 90B15 90C40 PDF BibTeX XML Cite \textit{A. Bui}, Nonconvex Optim. Appl. 53, 105--132 (2001; Zbl 1004.90012) OpenURL
Barbosa, V. C.; Benevides, M. R. F.; França, F. M. G. Sharing resources at nonuniform access rates. (English) Zbl 0969.68184 Theory Comput. Syst. 34, No. 1, 13-26 (2001). MSC: 68W05 PDF BibTeX XML Cite \textit{V. C. Barbosa} et al., Theory Comput. Syst. 34, No. 1, 13--26 (2001; Zbl 0969.68184) Full Text: DOI OpenURL
Ustimenko, A. P. Colored cause-effect structures. (English) Zbl 0951.68093 Jt. Bull. NCC IIS, Ser. Comput. Sci. 11, 77-92 (1999). Reviewer: M.F.Murzina (Novosibirsk) MSC: 68Q85 90C35 68R10 PDF BibTeX XML Cite \textit{A. P. Ustimenko}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 11, 77--92 (1999; Zbl 0951.68093) OpenURL
Rhee, Injong A modular algorithm for resource allocation. (English) Zbl 1448.68157 Distrib. Comput. 11, No. 3, 157-168 (1998). MSC: 68M14 68M20 68W15 PDF BibTeX XML Cite \textit{I. Rhee}, Distrib. Comput. 11, No. 3, 157--168 (1998; Zbl 1448.68157) Full Text: Link OpenURL
Bar-Noy, Amotz; Mayer, Alain; Schieber, Baruch; Sudan, Madhu Guaranteeing fair service to persistent dependent tasks. (English) Zbl 0910.90174 SIAM J. Comput. 27, No. 4, 1168-1189 (1998). MSC: 90B35 90C60 68W10 68Q25 68M20 90C35 PDF BibTeX XML Cite \textit{A. Bar-Noy} et al., SIAM J. Comput. 27, No. 4, 1168--1189 (1998; Zbl 0910.90174) Full Text: DOI OpenURL
Forbes, Florence; Ycart, Bernard The philosophers’ process on ladder graphs. (English) Zbl 0873.60036 Commun. Stat., Stochastic Models 12, No. 4, 559-583 (1996). MSC: 60G60 60J99 PDF BibTeX XML Cite \textit{F. Forbes} and \textit{B. Ycart}, Commun. Stat., Stochastic Models 12, No. 4, 559--583 (1996; Zbl 0873.60036) Full Text: DOI OpenURL
Singh, Ambuj K.; Gouda, Mohamed G. Rankers: A classification of synchronization problems. (English) Zbl 0801.68029 Sci. Comput. Program. 21, No. 3, 191-223 (1993). MSC: 68N25 68Q10 68M20 68Q60 68W15 PDF BibTeX XML Cite \textit{A. K. Singh} and \textit{M. G. Gouda}, Sci. Comput. Program. 21, No. 3, 191--223 (1993; Zbl 0801.68029) Full Text: DOI OpenURL
Welch, Jennifer L.; Lynch, Nancy A. A modular drinking philosophers algorithm. (English) Zbl 0786.68040 Distrib. Comput. 6, No. 4, 233-244 (1993). Reviewer: L.Brim (Brno) MSC: 68W15 68Q25 68Q10 PDF BibTeX XML Cite \textit{J. L. Welch} and \textit{N. A. Lynch}, Distrib. Comput. 6, No. 4, 233--244 (1993; Zbl 0786.68040) Full Text: DOI OpenURL
He, Xudong Temporal predicate transition nets - a new formalism for specifying and verifying concurrent systems. (English) Zbl 0796.68163 Int. J. Comput. Math. 45, No. 3-4, 171-184 (1992). MSC: 68Q85 68Q10 68Q60 68W15 PDF BibTeX XML Cite \textit{X. He}, Int. J. Comput. Math. 45, No. 3--4, 171--184 (1992; Zbl 0796.68163) Full Text: DOI OpenURL
Turski, Wladyslaw M. On starvation and some related issues. (English) Zbl 0714.68029 Inf. Process. Lett. 37, No. 3, 171-174 (1991). MSC: 68Q10 68Q60 68N99 PDF BibTeX XML Cite \textit{W. M. Turski}, Inf. Process. Lett. 37, No. 3, 171--174 (1991; Zbl 0714.68029) Full Text: DOI OpenURL
Murphy, Sandra L.; Shankar, A. Udaya A note on the drinking philosophers problem. (English) Zbl 0652.68022 ACM Trans. Program. Lang. Syst. 10, No. 1, 178-188 (1988). MSC: 68N25 PDF BibTeX XML Cite \textit{S. L. Murphy} and \textit{A. U. Shankar}, ACM Trans. Program. Lang. Syst. 10, No. 1, 178--188 (1988; Zbl 0652.68022) Full Text: Link OpenURL
Chandy, K. Mani; Misra, Jayadev Parallel program design. A foundation. (English) Zbl 0717.68034 Reading, MA: Addison-Wesley. XVIII, 516 p. DM 79.00 (1988). Reviewer: I.Wegener MSC: 68W15 68-01 PDF BibTeX XML Cite \textit{K. M. Chandy} and \textit{J. Misra}, Parallel program design. A foundation. Reading, MA: Addison-Wesley (1988; Zbl 0717.68034) OpenURL
Wedde, Horst F. A graph-theoretic approach for designing fair distributed resource scheduling algorithms. (English) Zbl 0643.68041 Graph-theoretic concepts in computer science, Proc. Int. Workshop, Bernried/FRG 1986, Lect. Notes Comput. Sci. 246, 204-226 (1987). MSC: 68M20 68R10 68N99 PDF BibTeX XML OpenURL
Kreowski, Hans-Jörg Is parallelism already concurrency? I: Derivations in graph grammars. (English) Zbl 0643.68023 Graph-grammars and their application to computer science, 3rd Int. Workshop, Warrenton/Va. 1986, Lect. Notes Comput. Sci. 291, 343-360 (1987). MSC: 68N25 68Q45 PDF BibTeX XML OpenURL
Rana, S. P.; Banerji, D. K. An optimal distributed solution to the dining philosphers problem. (English) Zbl 0641.68040 Int. J. Parallel Program. 15, 327-335 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{S. P. Rana} and \textit{D. K. Banerji}, Int. J. Parallel Program. 15, 327--335 (1986; Zbl 0641.68040) Full Text: DOI OpenURL
Pnueli, Amir; Zuck, Lenore Verification of multiprocess probabilistic protocols. (English) Zbl 0598.68019 Distrib. Comput. 1, 53-72 (1986). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{A. Pnueli} and \textit{L. Zuck}, Distrib. Comput. 1, 53--72 (1986; Zbl 0598.68019) Full Text: DOI OpenURL
Ordman, Edward T. Threshold coverings and resource allocation. (English) Zbl 0639.68006 Combinatorics, graph theory and computing, Proc. 16th Southeast. Conf., Boca Raton/Fla. 1985, Congr. Numerantium 49, 99-113 (1985). MSC: 68N99 68R10 PDF BibTeX XML OpenURL
Flé, M. P.; Roucairol, G. Maximal serializability of iterated transactions. (English) Zbl 0572.68082 Theor. Comput. Sci. 38, 1-16 (1985). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{M. P. Flé} and \textit{G. Roucairol}, Theor. Comput. Sci. 38, 1--16 (1985; Zbl 0572.68082) Full Text: DOI OpenURL
Kurshan, R. P. Modelling concurrent processes. (English) Zbl 0572.68018 Computer communications, Lect. Notes Am. Math. Soc. Course, Denver/Colo. 1983, Proc. Symp. Appl. Math. 31, 45-57 (1985). Reviewer: E.Smith and H.Fuss MSC: 68N25 PDF BibTeX XML OpenURL
Flé, M. P.; Roucairol, G. Fair serializability of iterated transactions using FIFO-nets. (English) Zbl 0562.68018 Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 154-168 (1985). MSC: 68N25 68P20 68Q85 PDF BibTeX XML OpenURL
Wedde, Horst An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives. (English) Zbl 0511.68013 Theor. Comput. Sci. 24, 1-20 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{H. Wedde}, Theor. Comput. Sci. 24, 1--20 (1983; Zbl 0511.68013) Full Text: DOI OpenURL
Cargill, T. A. A robust distributed solution to the dining philosophers problem. (English) Zbl 0489.68020 Softw., Pract. Exper. 12, 965-969 (1982). MSC: 68N25 PDF BibTeX XML Cite \textit{T. A. Cargill}, Softw., Pract. Exper. 12, 965--969 (1982; Zbl 0489.68020) Full Text: DOI OpenURL
Kreowski, Hans-Jörg A comparison between Petri-nets and graph grammars. (English) Zbl 0454.68053 Graphtheoretic concepts in computer science, Proc. int. Workshop, Bad Honnef 1980, Lect. Notes Comput. Sci. 100, 306-317 (1981). MSC: 68Q85 68Q45 PDF BibTeX XML OpenURL
Latteux, Michel Synchronisation de processus. (French) Zbl 0433.68021 RAIRO, Inf. 14, 103-135 (1980). MSC: 68N25 PDF BibTeX XML Cite \textit{M. Latteux}, RAIRO, Inf. 14, 103--135 (1980; Zbl 0433.68021) OpenURL