Approximate verification of concurrent systems using token structures and invariants von Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Translating between models of concurrency von Mestel, David, Roscoe, A. W.

Volltext

FDR3: a parallel refinement checker for CSP von Gibson-Robinson, Thomas, Armstrong, Philip, Boulgakov, Alexandre, Roscoe, A. W.

Volltext

Failure of Spermatogenesis in Mice Lacking Connexin43 von ROSCOE, Wendi A, BARR, Kevin J, MHAWI, Abdul Amir, POMERANTZ, David K, KIDDER, Gerald M

Volltext

VEGF and angiogenesis in acute and chronic MOG(35–55) peptide induced EAE von Roscoe, W.A, Welsh, M.E, Carter, D.E, Karlik, S.J

Volltext

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving von Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey von Nguyen, L.H., Roscoe, A.W.

Volltext

Computing maximal weak and other bisimulations von Boulgakov, Alexandre, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Checking noninterference in Timed CSP von Roscoe, A. W., Huang, Jian

Volltext

Seeing Beyond Divergence von Roscoe, A. W.

Volltext

Responsiveness and stable revivals von REED, J. N, ROSCOE, A. W, SINCLAIR, J. E

Volltext

Rigorous development of component-based systems using component metadata and patterns von Oliveira, M. V. M., Antonino, P., Ramos, R., Sampaio, A., Mota, A., Roscoe, A. W.

Volltext

A Static Analysis Framework for Livelock Freedom in CSP von Ouaknine, Joel, Palikareva, Hristina, Roscoe, A. W., Worrell, James

Volltext

Responsiveness of interoperating components von REED, J. N, SINCLAIR, J. E, ROSCOE, A. W

Volltext

Connexin 43 gap junction proteins are up-regulated in remyelinating spinal cord von Roscoe, W.A., Messersmith, E., Meyer-Franke, A., Wipke, B., Karlik, S.J.

Volltext

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 von Brookes, Stephen D, Roscoe, Andrew William, Winskel, Glynn

Volltext

Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday von Gibson-Robinson, Thomas, Hopcroft, Philippa, Lazić, Ranko

Volltext

A theory of communicating sequential processes von BROOKES, S. D, HOARE, C. A. R, ROSCOE, A. W

Volltext

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Volltext

On model checking data-independent systems with arrays without reset von LAZIĆ, R. S., NEWCOMB, T. C., ROSCOE, A. W.

Volltext