Results 261 to 270 of about 328,670 (294)
Some of the next articles are maybe not open access.
1991
This is a draft version of a chapter for the Handbook of Logic and the Foundations of Computer Science, Oxford University Press. The final draft can be found as DAIMI PB 463. It surveys a range of models for parallel computation to include interleaving models like transition systems, synchronisation trees and languages (often called Hoare traces in
openaire +1 more source
This is a draft version of a chapter for the Handbook of Logic and the Foundations of Computer Science, Oxford University Press. The final draft can be found as DAIMI PB 463. It surveys a range of models for parallel computation to include interleaving models like transition systems, synchronisation trees and languages (often called Hoare traces in
openaire +1 more source
ACM SIGCSE Bulletin, 1992
Concurrency is introduced in most operating systems textbooks, but usually, only the basics of synchronization and mutual exclusion are presented. The more complicated examples are invariably canned code such as the producer/consumer or readers/writers problems.
openaire +1 more source
Concurrency is introduced in most operating systems textbooks, but usually, only the basics of synchronization and mutual exclusion are presented. The more complicated examples are invariably canned code such as the producer/consumer or readers/writers problems.
openaire +1 more source
1992
This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses.
openaire +1 more source
This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses.
openaire +1 more source
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the eventstructure semantics of higher order processes, nondeterministic dataflow and the unfolding of higher-dimensional automata and Petri nets with multiple tokens are indicated.
openaire +1 more source
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the eventstructure semantics of higher order processes, nondeterministic dataflow and the unfolding of higher-dimensional automata and Petri nets with multiple tokens are indicated.
openaire +1 more source
Coherence concurrence for X states
Quantum Information Processing, 2020Ming-Jing, Shao-Ming Fei, Rajesh Pereira
exaly
Lower bound on concurrence for arbitrary-dimensional tripartite quantum states
Quantum Information Processing, 2016Shao-Ming Fei
exaly