Specification-oriented semantics for Communicating Processes

JOURNAL ARTICLE published April 1986 in Acta Informatica

Authors: E. -R. Olderog | C. A. R. Hoare

Category-based modularisation for equational logic programming

JOURNAL ARTICLE published August 1996 in Acta Informatica

Authors: Răzvan Diaconescu

Optimum checkpoints with age dependent failures

JOURNAL ARTICLE published May 1990 in Acta Informatica

Authors: Erol Gelenbe | Marisela Hern�ndez

Availability of a distributed computer system with failures

JOURNAL ARTICLE published November 1986 in Acta Informatica

Authors: Erol Gelenbe | David Finkel | Satish K. Tripathi

Inefficiency of equilibria for the machine covering game on uniform machines

JOURNAL ARTICLE published September 2012 in Acta Informatica

Authors: Zhiyi Tan | Long Wan | Qi Zhang | Wei Ren

Verification of clocked and hybrid systems

JOURNAL ARTICLE published 1 May 2000 in Acta Informatica

Authors: Yonit Kesten | Zohar Manna | Amir Pnueli

Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control

JOURNAL ARTICLE published October 2021 in Acta Informatica

Research funded by National Natural Science Foundation of China (61625206,61732001) | European Research Council (Advanced Project FRAPPANT 787914) | Deutsche Forschungsgemeinschaft (DFG RTG 1765 SCARE) | Deutsche Forschungsgemeinschaft (DFG FR 2715/4) | National Natural Science Foundation of China (61502467) | Air Force Research Laboratory (FA2386-17-1-4022)

Authors: Mingshuai Chen | Martin Fränzle | Yangjia Li | Peter N. Mosaad | Naijun Zhan

Order and metric in the stream semantics of elemental concurrency

JOURNAL ARTICLE published September 1987 in Acta Informatica

Authors: J. W. de Bakker | J. -J. Ch. Meyer

Failures semantics and deadlocking of modular Petri nets

JOURNAL ARTICLE published February 1989 in Acta Informatica

Authors: Walter Vogler

Type-based information flow analysis for the π-calculus

JOURNAL ARTICLE published December 2005 in Acta Informatica

Authors: Naoki Kobayashi

A compositional dataflow semantics for Petri nets

JOURNAL ARTICLE published July 1995 in Acta Informatica

Authors: Robert Gold

Logical and schematic characterization of complexity classes

JOURNAL ARTICLE published January 1993 in Acta Informatica

Authors: Iain A. Stewart

On regular temporal logics with past

JOURNAL ARTICLE published June 2010 in Acta Informatica

Authors: Christian Dax | Felix Klaedtke | Martin Lange

Program proving: Coroutines

JOURNAL ARTICLE published 1973 in Acta Informatica

Authors: M. Clint

Testing bag-containment of conjunctive queries

JOURNAL ARTICLE published 14 July 1997 in Acta Informatica

Authors: Nieves R. Brisaboa | Héctor J. Hernández

Process algebra with action dependencies

JOURNAL ARTICLE published 1 December 2001 in Acta Informatica

Authors: Arend Rensink | Heike Wehrheim

Query optimization in information integration

JOURNAL ARTICLE published June 2013 in Acta Informatica

Authors: Dongfeng Chen | Rada Chirkova | Fereidoon Sadri | Tiia J. Salo

One-sided random context grammars

JOURNAL ARTICLE published May 2011 in Acta Informatica

Authors: Alexander Meduna | Petr Zemek

On stateless deterministic restarting automata

JOURNAL ARTICLE published December 2010 in Acta Informatica

Authors: Martin Kutrib | Hartmut Messerschmidt | Friedrich Otto

Speeding up circularity tests for attribute grammars

JOURNAL ARTICLE published November 1984 in Acta Informatica

Authors: Pierre Deransart | Martin Jourdan | Bernard Lorho