researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1995
1996
Filter by Tag
OR
AND
NOT
1
automata theory
e-science
logic
modal logic
systematic-approach
Filter by Author
OR
AND
NOT
1
Colin Stirling
E. Allen Emerson
Faron Moller
Moshe Y. Vardi
Rajagopal Nagarajan
Samson Abramsky
Simon J. Gay
Yoram Hirshfeld
Filter by Top terms
[+]
OR
AND
NOT
1
1995
27
3
8th
approach
august
automata
automated
banff
concurrency
decidability
higher
linear
logic
logics
modal
order
proceedings
process
temporal
Banff Higher Order Workshop (banff)
Editions
Publications
Viewing Publication 1 - 6 from 6
1996
Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings)
Faron Moller
,
Graham M. Birtwistle
, editors,
Volume 1043 of
Lecture Notes in Computer Science
, Springer,
1996.
1995
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky
,
Simon J. Gay
,
Rajagopal Nagarajan
.
banff 1996
:
5-40
Automated Temporal Reasoning about Reactive Systems
E. Allen Emerson
.
banff 1996
:
41-101
Decidability Results in Automata and Process Theory
Yoram Hirshfeld
,
Faron Moller
.
banff 1996
:
102-148
Modal and Temporal Logics for Processes
Colin Stirling
.
banff 1996
:
149-237
An Automata-Theoretic Approach to Linear Temporal Logic
Moshe Y. Vardi
.
banff 1996
:
238-266
Sign in
or
sign up
to see more results.