Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 31 for “"Concurrent Systems"”.
-
On Conflicts in Concurrent Systems
… studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting completions may be used to characterise the situations in which individual …
-
Specification of concurrent systems using graph grammars
… in a program. Textual notation does not support concurrent programming as well, however, because concurrent programs have many threads of control, have a two-dimensional relationship between the flow of control in a process and the flow of information between processes, and are often dynamic. …
-
A Theory of Testing for Asynchronous Concurrent Systems
The central idea behind our proof techniques for testing equivalence is to obtain semantic characterizations of the equivalence that do away with universal quantification over contexts. Using these characterizations one can thus establish an equivalence by simply comparing the semantic mappings of …
-
Atomic Actions in Concurrent Systems (fault-Tolerance, Control)
… sequence of actions has been in use to design concurrent systems. An atomic action is an activity, possibly consisting of many steps performed by many processors, that appears primitive and indivisible to any activity outside the atomic action. The aim of the thesis is to show that atomicity is …
-
A formal methodology for the verification of concurrent systems
… correct operation of such potentially hazardous systems points to an emphasis on the verification of the system relative to a suitably secure specification. However, the process of verification is often made more complex by the concurrency and real-time considerations which are inherent in many …
-
Analysis of asynchronous concurrent systems by timed petri nets.
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1973. Ph.D.
-
Rewriting-based model checking methods
… checking is an automatic technique for verifying concurrent systems. The properties of the system to be verified are typically expressed as temporal logic formulas, while the system itself is formally specified as a certain system specification language, such as computational logics and …
-
A graph grammar approach to concurrent programming
… as a theory to organize programming of highly-concurrent systems. To understand the interactions among components of a concurrent system it is useful to visualize the system as dynamically changing graphs where the nodes represent concurrent components and the edges represent (the possibility …
-
A Tool for prototyping concurrent design specifications
… aids in the design and verification of complex concurrent systems by using algebraic expressions to describe the architectural and behavioral aspects. We introduce ACS (Algebra of Communicating Systems), a process algebraic specification language which combines the simple syntax of CCS (Calculus …
-
Games meet Concurrency: Algorithms and Hardness
… models of computation. Given the similarities of concurrent systems of multiple agents and multiplayer games, this thesis analyzes a spectrum of models connecting these three fields and bridges the gaps between them by building upon techniques from the growing literature studying the complexity of …
-
Lines of Site
… city. The opportunity residing between these concurrent systems of past and present offers the flexibility of countless modes of response to the ever-changing city Concerns of today"s architectural possibilities to the protection of the past, while enabling the evolution of the urban setting …
-
Whole-system testing and analysis of actor programs
As multi-core processors and networked systems become the norm, concurrent programming has been widely adopted in industry. Practitioners have used concurrent programming models to build many complex and large-scale systems and infrastructures. With the growing popularity of concurrent programming, …
-
A design environment for deadlock-free concurrent software
… analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large …
-
Bisimulation as a verification and validation technique for message sequence charts
… increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence of Formal Description Techniques. FDTs not only provide the means for formally specifying a system, but also supply the theoretical basis for conformance …
-
A simulator for the IOA language
… is becoming more commonplace. Distributed systems are hard to design and reason about, because distributed actions can exhibit arbitrary interleaving. In order to make it easier to design and analyze distributed systems, Nancy Lynch and her students have developed a formal mathematical …
-
Systematic testing for actor programs
… growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Testing such code is notoriously difficult, especially for shared-memory models of programming. The actor model of programming offers a promising alternative …
-
Symbolic semantics for CSP
… is a well-known formal language for describing concurrent systems, for which a transition semantics has been given by Brookes, Hoare and Roscoe. In this thesis, we present a generalized transition semantics of CSP, which we call HCSP, that merges the original transition system with ideas from …
-
Hierarchical supervisory control of complex Petri nets
Large, complex systems are prone to the phenomenon of livelocks. Once a system enters a livelocked-state, there is at least one activity of the modeled system that cannot be executed from all subsequent states of the system. This phenomenon is common to many operating systems where some process …
-
The Design of Fault Tolerant Software for Loosely Coupled Distributed Systems
Requirements for systems to continue to operate satisfactorily in the presence of faults has led to the development of techniques for the construction of fault tolerant software. This thesis addresses the problem of error detection and recovery in distributed systems which consist of a set of …
Page 1 of 2