information and computation (30)
logical methods in computer science (13)
theoretical computer science (10)
acta informatica (8)
information & computation (8)
distributed computing (7)
electronic notes in theoretical computer science (6)
entcs: electronic notes in theoretical computer science (6)
journal of logical and algebraic methods in programming (5)
fundamenta informaticae (4)
logical methods in computer science (lmcs) (4)
acm computing surveys (3)
foundations of software science and computation structures (3)
information processing letters (3)
32nd international conference on concurrency theory (2)
acm transactions on computational logic (2)
formal aspects of computing (2)
mathematical foundations of computer science 2008 (2)
proceedings---combined 30th international workshop on expressiveness in concurrency and 20th workshop on structural operational semantics (2)
15th annual ieee symposium on logic in computer science (santa barbara, ca, 2000) (1)
2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on (1)
2017 32nd annual acm/ieee symposium on logic in computer science (lics) (1)
2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on (1)
2021 36th annual acm/ieee symposium on logic in computer science (lics) (1)
28th international conference on concurrency theory (1)
31st international conference on concurrency theory (1)
a journey from process algebra via timed automata to model learning---essays dedicated to frits vaandrager on the occasion of his 60th birthday (1)
algebraic methodology and software technology (amazonia, 1999) (1)
application & theory of petri nets 2002 (1)
application and theory of petri nets 2002 (1)
automated technology for verification & analysis: 12th international symposium, atva 2014, sydney, nsw, australia, november 3-7, 2014, proceedings (1)
computation, meaning, and logic: articles dedicated to gordon plotkin (1)
computer aided verification (9783540705437) (1)
concur 2003---concurrency theory (1)
concur 2006---concurrency theory (1)
concur 2009 - concurrency theory (1)
concur 2009---concurrency theory (1)
concurrency, security & puzzles (1)
concurrency, security, and puzzles (1)
foundations of software science & computational structures (9783642287282) (1)
implementation & applications of automata (1)
lecture notes in computer science (1)
logic for programming, artificial intelligence & reasoning (9783642162411) (1)
proceedings of the 2015 30th annual acm,ieee symposium on logic in computer science (1)
programming languages & systems (9783540713142) (1)
programming languages & systems (9783642288685) (1)
programming languages & systems (9783662494974) (1)
reflections on the work of c.a.r. hoare (1)
sofsem 2009: theory & practice of computer science (1)
tools & algorithms for the construction & analysis of systems (9783642287558) (1)