Find:

Searching for PHRASE jeremy bryans.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
14 documents found. Order: number of citations.

Real-time LOTOS and timed observations - Davies, Bryans, Schneider (1995)   (Correct)   (5 citations)
LOTOS and timed observations Jim Davies and Jeremy Bryans Department of Computer Science, University
LOTOS and timed observations Jim Davies, Jeremy Bryans, Steve Schneide
ftp.cs.rdg.ac.uk/pub/papers/FMG/forte95.ps.gz

Implementing A Modal Logic Over Data And Processes Using XTL - Bryans, Shankland   (Correct)   (4 citations)
Modal Logic Over Data And Processes Using Xtl Jeremy Bryans Department Of Computing Science And
A Modal Logic Over Data And Processes Using XTL Jeremy Bryans, Carron Shanklan
www.cs.stir.ac.uk/~ces/Papers/forte01b.ps

A Tool Suite to Support Aspect-Oriented Specification - Blair, Blair (1999)   (Correct)   (3 citations)
at Canterbury (Howard Bowman, John Derrick and Jeremy Bryans)References Blair99a] L. Blair, G.S.
ftp.comp.lancs.ac.uk/pub/mpg/MPG-99-15.ps.gz

Towards a denotational semantics for ET-LOTOS - Bryans, Davies, Schneider (1995)   (Correct)   (3 citations)
Towards a denotational semantics for ET-LOTOS Jeremy Bryans 1 Jim Davies 2 and Steve Schneider
Towards a denotational semantics for ET-LOTOS Jeremy Bryans, Jim Davies, Steve Schneide
ftp.cs.rdg.ac.uk/pub/papers/FMG/concur95.ps.gz

Stochastic Specification and Verification - Bryans, Derrick (1999)   (Correct)   (2 citations)
Stochastic Specification and Verification Jeremy Bryans and John Derrick Computing Laboratory,
1999. Stochastic Specification and Verification Jeremy Bryans, John Derric
www.cs.ukc.ac.uk/pubs/1999/818/content.ps.gz

Modelling Opacity using Petri Nets - Bryans, Koutny, Ryan (2004)   (Correct)
upon Tyne Modelling Opacity using Petri Nets Jeremy Bryans, Maciej Koutny and Peter Y. A. Ryan Technical
7RU, UK. Modelling Opacity using Petri Nets Jeremy Bryans, Maciej Koutny and Peter Y.A. Ryan School of
www.cs.ncl.ac.uk/research/pubs/trs/papers/840.pdf

Specification and Analysis of Automata Based Designs - Bryans, Blair, Bowman, Derrick (2000)   (Correct)
and Analysis of Automata Based Designs Jeremy Bryans, Lynne Blair, Howard Bowman, John Derric
www.comp.lancs.ac.uk/computing/users/lb/Postscript/IFM00.ps.gz

A Model Checking Algorithm for Stochastic Systems - Bryans, Bowman, Derrick (2000)   (Correct)
Checking Algorithm for Stochastic Systems Jeremy Bryans, Howard Bowman and John Derrick 1
[BBD00] Howard Bowman, Jeremy Bryans, and John Derrick. A model checking algorithm
www.cs.ukc.ac.uk/pubs/2000/1014/content.ps

CSP, PVS and a Recursive Authentication Protocol - Bryans, Schneider   (Correct)
CSP, PVS and a Recursive Authentication Protocol Jeremy Bryans and Steve Schneider Department of Computer
PVS and a Recursive Authentication Protocol Jeremy Bryans, Steve Schneide
www.dcs.rhbnc.ac.uk/research/formal/steve/papers/dimacs.ps.gz

Real-time CSP and ET-LOTOS - Bryans, Davies, Schneider   (Correct)
Real-time CSP and ET-LOTOS Jeremy Bryans and Jim Davies University of Reading Steve
Real-time CSP and ET-LOTOS Jeremy Bryans, Jim Davies, Steve Schneide
ftp.cs.rdg.ac.uk/pub/reports/FMG/Real-time_CSP_and_ET-LOTOS.ps.gz

Constraint Orientated Specification with CSP and Real Time.. - Pearson, Bryans (1998)   (Correct)
Uppsala University Sweden justin@docs.uu.se Jeremy Bryans Computing Laboratory University of Kent at
and Real Time Temporal Logic Justin Pearson, Jeremy Bryan
www.cs.ukc.ac.uk/pubs/1998/598/content.ps.gz

Using Probability to Reason about Soft Deadlines - King, Bryans (1998)   (Correct)
to Reason about Soft Deadlines Andy King and Jeremy Bryans Computing Laboratory, University of Kent at
to Reason about Soft Deadlines Andy King, Jeremy Bryan
www.cs.ukc.ac.uk/pubs/1998/601/content.ps.gz

Constraint Oriented Specification for Timed CSP - Bryans, Pearson   (Correct)
Constraint Oriented Specification for Timed CSP Jeremy Bryans 1 and Justin Pearson 2 Abstract A popular
Constraint Oriented Specification for Timed CSP Jeremy Bryans, Justin Pearso
www.csd.uu.se/~justin/madras.ps

A failures semantics for ET-LOTOS - Schneider, Bryans, Davies   (Correct)
Schneider Royal Holloway, University of London Jeremy Bryans and Jim Davies University of Reading Abstract
semantics for ET-LOTOS Steve Schneider, Jeremy Bryans, Jim Davie
ftp.cs.rdg.ac.uk/pub/reports/FMG/Failures_Semantics_for_ET-LOTOS.ps.gz

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC