Relevant bibliographies by topics / Concurrent and distributed systems

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Concurrent and distributed systems'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Concurrent and distributed systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Concurrent and distributed systems"

1

Aarsten, Amund, Davide Brugali, and Giuseppe Menga. "Designing concurrent and distributed control systems." Communications of the ACM 39, no. 10 (1996): 50–58. http://dx.doi.org/10.1145/236156.236168.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Albert, Elvira, Jesús Correas, and Guillermo Román-Díez. "Peak resource analysis of concurrent distributed systems." Journal of Systems and Software 149 (March 2019): 35–62. http://dx.doi.org/10.1016/j.jss.2018.11.018.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sistla, A. Prasad. "Formal methods in concurrent and distributed systems." ACM SIGSOFT Software Engineering Notes 25, no. 1 (2000): 84. http://dx.doi.org/10.1145/340855.341022.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Inverardi, Paola, Corrado Priami, and Daniel Yankelevich. "Automatizing Parametric Reasoning on Distributed Concurrent Systems." Formal Aspects of Computing 6, no. 6 (1994): 676–95. http://dx.doi.org/10.1007/bf03259392.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fabre, Eric, Albert Benveniste, Stefan Haar, and Claude Jard. "Distributed Monitoring of Concurrent and Asynchronous Systems*." Discrete Event Dynamic Systems 15, no. 1 (2005): 33–84. http://dx.doi.org/10.1007/s10626-005-5238-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

OSATO, Nobuyasu. "Distributed cooperative systems. Distributed AI concurrent objects and artificial life." Journal of the Robotics Society of Japan 10, no. 4 (1992): 450–56. http://dx.doi.org/10.7210/jrsj.10.450.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Réty, Jean-Hugues. "Distributed Concurrent Constraint Programming." Fundamenta Informaticae 34, no. 3 (1998): 323–46. http://dx.doi.org/10.3233/fi-1998-34305.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Banaszak, Z. A., and W. Muszyński. "Distributed control for systems of concurrent production flow." IFAC Proceedings Volumes 36, no. 17 (2003): 419–24. http://dx.doi.org/10.1016/s1474-6670(17)33430-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Degano, Pierpaolo, and Ugo Montanari. "Concurrent histories: A basis for observing distributed systems." Journal of Computer and System Sciences 34, no. 2-3 (1987): 422–61. http://dx.doi.org/10.1016/0022-0000(87)90032-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Al Dallal, Jehad, and Kassem Saleh. "Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications." Journal of Computer Systems, Networks, and Communications 2008 (2008): 1–13. http://dx.doi.org/10.1155/2008/794960.

Full text
Abstract:
Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications. Some protocol synthesis methods based on the finite state machine (FSM) model assume that primitives in the service specifications cannot be executed simultaneously. Others either handle only controlled primitive concurrency or have tight restrictions on the applicable FSM topologies. As a result, these synthesis methods are not applicable to an interesting variety of inherently concurrent applications, such as the Internet and mobile communication systems. This paper
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Concurrent and distributed systems"

1

Spiliopoulou, Eleni. "Concurrent and distributed functional systems." Thesis, University of Bristol, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310807.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lu, Rong 1969. "Detecting race conditions in distributed concurrent systems." Thesis, McGill University, 2000. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33422.

Full text
Abstract:
Nondeterminism makes distributed concurrent systems difficult to test, monitor and control. An execution of a message-passing system is nondeterministic when message races exist. Message race occurs when, e.g., multiple conflicting requests from different clients are competing to be executed within a server entity. Therefore, techniques for race detection by tracing messages are an essential part of a test and debugging tool for distributed concurrent systems. In this thesis, race conditions are investigated in the context of the Testing and Monitoring Tool (TMT). TMT is a monitoring and testi
APA, Harvard, Vancouver, ISO, and other styles
3

Rizk, A. "MC : A concurrent programming language for distributed computer systems." Thesis, University of Sussex, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373906.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Menon, Sathis N. "Asynchronous events : tools for distributed programming on concurrent object-based systems." Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/9147.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jurišić, Miroslav 1977. "Hierarchical distributed repositories in Concurrent Versions System." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/86700.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>Includes bibliographical references (v. 2, p. 767).<br>by Miroslav Jurišić.<br>M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles
6

Kosaraju, Sundeepthi. "A Novel Low-Overhead Recovery Approach For Distributed Systems." Available to subscribers only, 2009. http://proquest.umi.com/pqdweb?did=1968025161&sid=2&Fmt=2&clientId=1509&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Rao, Shrisha. "Safety and hazard analysis in concurrent systems." Diss., University of Iowa, 2005. http://ir.uiowa.edu/etd/106.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Victor, Sundar K. "Negotiation Between Distributed Agents in a Concurrent Engineering System." Digital WPI, 1999. https://digitalcommons.wpi.edu/etd-theses/1083.

Full text
Abstract:
"Current approaches to design are often serial and iterative in nature, leading to poor quality of design and reduced productivity. Complex artifacts are designed by groups of experts, each with his/her own area of expertise. Hence design can be modeled as a cooperative multi-agent problem-solving task, where different agents possess different expertise and evaluation criteria. New techniques for Concurrent Design, which emphasize parallel interaction among design experts involved, are needed. During this concurrent design process, disagreements may arise among the expert agents as the des
APA, Harvard, Vancouver, ISO, and other styles
9

Schäfer, Jan [Verfasser]. "A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems / Jan Schäfer." München : Verlag Dr. Hut, 2011. http://d-nb.info/1011441551/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fabbretti, Giovanni. "Causal-Consistent Debugging of Distributed Erlang." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/22195/.

Full text
Abstract:
The main purpose of this work is to study the reversibility in a concurrent and distributed environment. Reversing the execution of a program in such environment is not straightforward, indeed in order to undo a step performed by one of the, potentially many, processes of the system one has to make sure that also all of its consequences, if any, have been undone beforehand. This notion is usually referred to as causal consistency. Here, we study reversibility in the context of the Erlang language. In order to reverse the execution of a concurrent and distributed erlang program we define a forw
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Concurrent and distributed systems"

1

1976-, Harris Tim, ed. Operating systems: Concurrent and distributed software design. Addison-Wesley, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Concurrent systems: Operating systems, database and distributed systems--an integrated approach. 2nd ed. Addison-Wesley, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bacon, Jean. Concurrent systems: An integrated approach to operating systems, distributed systems and database. 3rd ed. Addison-Wesley, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bacon, Jean. Concurrent systems: An integrated approach to operating systems, database and distributed systems. Addison-Wesley, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Actors: A model of concurrent computation in distributed systems. MIT Press, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Apt, Krzysztof R. Logics and Models of Concurrent Systems. Springer Berlin Heidelberg, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Urnes, Tore. A relational model for programming concurrent and distributed user interfaces. Gesellschaft für Mathematik und Datenverarbeitung, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

1949-, Apt Krzysztof R., and North Atlantic Treaty Organization. Scientific Affairs Division., eds. Logics and models of concurrent systems. Springer-Verlag, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

1945-, Gelenbe E., and Morzy Tadeusz 1954-, eds. Concurrency control in distributed database systems. North-Holland, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Glässer, Uwe. A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems. Vieweg+Teubner Verlag, 1993. http://dx.doi.org/10.1007/978-3-322-97611-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Concurrent and distributed systems"

1

Fleischmann, Albert. "Methods for Concurrent Software System Development." In Distributed Systems. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-78612-9_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hoare, C. A. R., and Leslie Lamport. "Concurrent and Distributed Systems." In High-Integrity System Specification and Design. Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-3431-2_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ölveczky, Peter Csaba. "Concurrent Objects in Maude." In Designing Reliable Distributed Systems. Springer London, 2017. http://dx.doi.org/10.1007/978-1-4471-6687-0_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hartmann, Thorsten, and Ralf Jungclaus. "Abstract description of distributed object systems." In Object-Based Concurrent Computing. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55613-3_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Rozoy, Brigitte. "On distributed languages and models for distributed computation." In Semantics of Systems of Concurrent Processes. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-53479-2_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lamport, Leslie. "A Formal Basis for the Specification of Concurrent Systems." In Distributed Operating Systems. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-46604-5_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Derrick, John, and Eerke Boiten. "Relational Concurrent Refinement: Timed Refinement." In Formal Techniques for Distributed Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21461-5_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hansen, Per Brinch. "Joyce—A Programming Language for Distributed Systems." In The Origin of Concurrent Programming. Springer New York, 1987. http://dx.doi.org/10.1007/978-1-4757-3472-0_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Busi, Nadia, and Roberto Gorrieri. "Distributed conflicts in communicating systems." In Object-Based Models and Languages for Concurrent Systems. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59450-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zheng, Liu, Marcelo H. Ang, and Winston Khoon Guan Seah. "Multi-Robot Concurrent Learning in Museum Problem." In Distributed Autonomous Robotic Systems 6. Springer Japan, 2007. http://dx.doi.org/10.1007/978-4-431-35873-2_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Concurrent and distributed systems"

1

Besa, Juan, and Yadran Eterovic. "A Concurrent Red Black Tree." In Parallel and Distributed Computing and Systems. ACTAPRESS, 2012. http://dx.doi.org/10.2316/p.2012.757-056.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Besa, Juan, and Yadran Eterovic. "A Concurrent Red Black Tree." In Parallel and Distributed Computing and Systems. ACTAPRESS, 2011. http://dx.doi.org/10.2316/p.2011.757-056.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Platz, Kenneth, Neeraj Mittal, and S. Venkatesan. "Concurrent Unrolled Skiplist." In 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS). IEEE, 2019. http://dx.doi.org/10.1109/icdcs.2019.00157.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kathiravelu, Pradeeban, and Luis Veiga. "Concurrent and Distributed CloudSim Simulations." In 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS. IEEE, 2014. http://dx.doi.org/10.1109/mascots.2014.70.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kumar, Sandeep. "Specification mining in concurrent and distributed systems." In Proceeding of the 33rd international conference. ACM Press, 2011. http://dx.doi.org/10.1145/1985793.1986002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kumar, Sandeep. "Specification mining in concurrent and distributed systems." In Proceeding of the 33rd international conference. ACM Press, 2011. http://dx.doi.org/10.1145/1985793.1986029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Simulation of Concurrent Games in Distributed Systems." In 2015 The 5th International Workshop on Computer Science and Engineering-Information Processing and Control Engineering. WCSE, 2015. http://dx.doi.org/10.18178/wcse.2015.04.010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Goguen, J., and Kai Lin. "Behavioral verification of distributed concurrent systems with BOBJ." In Third International Conference on Quality Software, 2003. Proceedings. IEEE, 2003. http://dx.doi.org/10.1109/qsic.2003.1319106.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Holyer, Ian, Neil Davies, and Chris Dornan. "The Brisk Project: Concurrent and Distributed Functional Systems." In Proceedings of the 1995 Glasgow Workshop on Functional Programming. BCS Learning & Development, 1995. http://dx.doi.org/10.14236/ewic/fp1995.10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fu, Jing, and Kunlong Zhang. "Practical Concurrent Self-Organizing Lists." In 2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS). IEEE, 2017. http://dx.doi.org/10.1109/icpads.2017.00058.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Concurrent and distributed systems"

1

TRINKLE, JEFFREY C., J. A. TZITZOURIS, and J. S. PANG. Dynamic Multi-Rigid-Body Systems with Concurrent Distributed Contacts: Theory and Examples. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/780283.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Choi, J., D. W. Walker, and J. J. Dongarra. Parallel matrix transpose algorithms on distributed memory concurrent computers. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10193001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hungate, Joseph, and Geraldina Fernandes. Distributed systems:. National Institute of Standards and Technology, 1995. http://dx.doi.org/10.6028/nist.ir.5735.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Choi, Jaeyoung, D. W. Walker, and J. J. Dongarra. PUMMA: Parallel Universal Matrix Multiplication Algorithms on distributed memory concurrent computers. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10180105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dolev, Danny, and Nir Shavit. Bounded Concurrent Time-Stamp Systems Are Constructible. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada213853.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Minker, Jack, and Donald Perlis. Distributed Belief Systems. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada244286.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Brewer, Eric A., and Carl A. Waldspurger. Preventing Recursion Deadlock in Concurrent Object-Oriented Systems. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada247084.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Willoughby, Brian. BMP Systems Engineering Model Using Concurrent Engineering Methods. Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada397399.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Walker, D. W. The design of a standard message passing interface for distributed memory concurrent computers. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10193294.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chandrasekaran, B. Distributed Knowledge-Based Systems. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada211984.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography