Results 1 to 10 of about 192,076 (327)

Recent Incarceration and HIV Risk Among Women Who Use Heroin.

open access: yesJAMA Netw Open
Atkins K   +8 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Concurrent Secrets

Discrete Event Dynamic Systems, 2006
Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that a trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even ...
E. Badouel   +4 more
openaire   +1 more source

Concurrency

ACM Computing Surveys, 1996
Concurrency theory is concerned with the modeling and verification of concurrent systems, while concurrency practice promulgates the application of concurrency theory to concurrent systems of practical interest. We assert that a strong interplay between concurrency theory and practice is essential for the continued development of both fields.
De Nicola, Rocco, Smolka, Scott A.
openaire   +3 more sources

Home - About - Disclaimer - Privacy