Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Andrea Bianco, Luca de Alfaro |
Model Checking of Probabalistic and Nondeterministic Systems. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Tirza Hirst, David Harel |
On the Power of Bounded Concurrency II: Pushdown Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
cooperative concurrency, pushdown automata, succinctness |
10 | John P. Nestor, E. S. Lee |
Prerequisite Confidentiality. |
CCS |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001 |
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Cheryl Dietz, Gerlinde Schreiber |
A Term Representation of P/T Systems. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Andrzej Filinski |
Representing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Guy L. Steele Jr. |
Building Interpreters by Composing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Hava T. Siegelmann |
On The Computational Power of Probabilistic and Faulty Neural Networks. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Noa Globerman, David Harel |
Complexity Results for Multi-Pebble Automata and their Logics. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Rocco De Nicola, Anna Labella |
A Completeness Theorem fro Nondeterministic Kleene Algebras. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Van Hentenryck, Viswanath Ramachandran |
Backtracking without Trailing in CLP(RLin). (long version: TOPLAS 17(4): 349-360 (1995)) |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
|
10 | André Arnold |
Hypertransition Systems. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
On the Structure of Parameterized Problems in NP (Extended Abstract). |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Nils Klarlund |
The Limit View of Infinite Computations. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Kai Engelhardt, Willem P. de Roever |
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich |
Yeast: A Case Study for a Practical Use of Formal Methods. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Lane A. Hemachandra, Sudhir K. Jha |
Defying Upward and Downward Separation. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval |
Correctness of Automated Distribution of Sequential Programs. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics |
10 | K. V. S. Prasad |
Programming with Broadcasts. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics |
10 | Soumen Chakrabarti, Katherine A. Yelick |
On the Correctness of a Distributed Memory Gröbner basis Algorithm. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Nancy A. Day |
An example of linking formal methods with case tools: a model checker for statecharts. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
10 | Rob T. Udink, Joost N. Kok |
On the Relation Between Unity Properties and Sequences of States. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
Semantic models - Unity, program refinement |
10 | Reinhold Heckmann |
Power Domains Supporting Recursion and Failure. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Matthew Hennessy |
Concurrent Testing of Processes (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
10 | David K. Probst, Hon Fung Li |
Partial-Order Model Checking: A Guide for the Perplexed. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
delay-insensitive system, partial-order representation, recurrence structure, model checking, state explosion, state encoding |
10 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
10 | Tao Jiang 0001, Bala Ravikumar |
Minimal NFA Problems Are Hard. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan F. Buss, Judy Goldsmith |
Nondterminism Within P. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Frank S. de Boer, Catuscia Palamidessi |
Embedding as a Tool for Language Comparison: On the CSP Hierarchy. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
concurrent logic languages, embedding, compositional semantics |
10 | Tao Jiang 0001, Edward McDowell, Bala Ravikumar |
The Structure and Complexity of Minimal NFA's over a Unary Alphabet. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Hermann von Issendorff |
A theory of organization. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Hermann von Issendorff |
A theory of organization. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Yuri Gurevich, Saharon Shelah |
Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Guo-Jie Li, Benjamin W. Wah |
Computational Efficiency of Parallel Combinatorial OR-Tree Searches. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
near linear speedup, parallel combinatorial OR-tree searches, error allowance function, simulation, performance evaluation, performance, parallel processing, theorem proving, database management systems, trees (mathematics), decision theory, sufficient conditions, search strategies, combinatorial mathematics, dominance relation |
10 | Ursula Goltz |
CCS and Petri Nets. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Klaus Reinhardt |
Hierarchies over the Context-Free Languages. |
IMYCS |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Tirza Hirst, David Harel |
On the Power of Bounded Concurrency II: The Pushdown Automata Level. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Saumya K. Debray, David Scott Warren |
Functional Computations in Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
10 | C.-D. Jung, E. Siberrt |
Polling in Concurrent Programming. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Bent Thomsen |
A Calculus of Higher Order Communicating Systems. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
CCS |
10 | David Harel |
A Thesis for Bounded Concurrency. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Bernd Schwinn, Gerhard Barth, Christoph Welsch |
RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Mario Tokoro, Kohei Honda 0001 |
The Computational Field Model for Open Distributed Environments. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Hiroto Yasuura, Nagisa Ishiura |
Semantics of a Hardware Design Language for Japanese Standardization. |
DAC |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Ernst-Rüdiger Olderog, Krzysztof R. Apt |
Fairness in Parallel Programs: The Transformational Approach. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Ursula Goltz |
On Representing CCS Programs by Finite Petri Nets. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Jan J. M. M. Rutten |
Correctness and full abstraction of metric semantics for concurrency. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction |
10 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
10 | Matthew Hennessy |
Observing processes. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
behavioural semantics, testing, process algebras, Concurrent Processes |
10 | Doron Drusinsky, David Harel |
On the Power of Cooperative Concurrency. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Rand Methfessel |
Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
C |
10 | Catriel Beeri, Michael Kifer |
A theory of intersection anomalies in relational database schemes. |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Jacques Cohen, Timothy J. Hickey |
Parsing and Compiling Using Prolog. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
10 | Rocco De Nicola, Matthew Hennessy |
CCS without tau's. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Carl Manning |
Traveler: The Apiary Observatory. |
ECOOP |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Maria Zamfir |
Initial Algebra Semantics and Concurrency. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Michael W. Mislove |
On the Smyth Power Domain. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Ernie Manes |
Assertional Categories. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
10 | George M. Reed, A. W. Roscoe 0001 |
Metric Spaces as Models for Real-Time Concurrency. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Masaki Murakami |
Proving Partial Correctness of Guarded Horn Clauses Programs. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Keith L. Clark, Steve Gregory |
Parlog: Parallel Programming in Logic. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
Prolog, PARLOG |
10 | Ernst-Rüdiger Olderog |
Operational Petri net semantics for CCSP. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
10 | Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders |
Data Refinement Refined. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
10 | Stéphane Kaplan |
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
10 | Manfred Jackel |
ADA Concurrency Specified by Graph Grammars. |
WG |
1986 |
DBLP DOI BibTeX RDF |
|
10 | Amir Pnueli |
Linear and Branching Structures in the Semantics and Logics of Reactive Systems. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
10 | J. W. de Bakker, Joost N. Kok |
Towards a Uniform Topological Treatment of Streams and Functions on Streams. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Sara Porat, Nissim Francez |
Fairness in Context-Free Grammars under Canonical Derivations. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Juraj Hromkovic |
Hierarchy of Reversal and Zerotesting Bounded Multicounter Machines. |
MFCS |
1984 |
DBLP DOI BibTeX RDF |
|
10 | E. Allen Emerson, Joseph Y. Halpern |
"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
10 | Robert Paige |
Transformational Programming - Applications to Algorithms and Systems. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
10 | Michael B. Smyth |
Power Domains and Predicate Transformers: A Topological View. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
10 | Leslie Lamport |
"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
10 | Harry R. Lewis, Christos H. Papadimitriou |
Symmetric Space-Bounded Computation (Extended Abstract). |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
|
10 | David W. Mizell |
Verification and Design Aspects of "True" Concurrency. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
10 | Barry K. Rosen |
Tree-Manipulating Systems and Church-Rosser Theorems. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|