Reactive bisimulation semantics for a process algebra with timeouts

JOURNAL ARTICLE published March 2023 in Acta Informatica

Authors: Rob van Glabbeek

Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs

JOURNAL ARTICLE published 2 August 2007 in Acta Informatica

Authors: Chuzo Iwamoto | Naoki Hatayama | Yoshiaki Nakashiba | Kenichi Morita | Katsunobu Imai

A decidability criterion for van Wijngaarden grammars

JOURNAL ARTICLE published 1975 in Acta Informatica

Authors: P. Deussen

Weakly independent database schemes

JOURNAL ARTICLE published 1 January 1997 in Acta Informatica

Authors: Ke Wang | Weining Zhang | Siu-Cheung Chau

Partage de t�ches entre processeurs homogenes

JOURNAL ARTICLE published January 1983 in Acta Informatica

Authors: Philippe Nain

Systolic automata for VLSI on balanced trees

JOURNAL ARTICLE published January 1983 in Acta Informatica

Authors: K. Culik | J. Gruska | A. Salomaa

Adding inclusion dependencies to an object-oriented data model with uniqueness constraints

JOURNAL ARTICLE published June 2003 in Acta Informatica

Authors: Joachim Biskup | Torsten Polle

Randomization adaptive self-stabilization

JOURNAL ARTICLE published September 2010 in Acta Informatica

Authors: Shlomi Dolev | Nir Tzachar

A maximum entropy priority approximation for a stableG/G/1 queue

JOURNAL ARTICLE published 1989 in Acta Informatica

Authors: Demetres Kouvatsos | Nasreddine Tabet-Aouel

Analysis of a prioritized CSMA protocol based on staggered delays

JOURNAL ARTICLE published May 1980 in Acta Informatica

Authors: William R. Franta | Mark Benedict Bilodeau

Transposition of large tabular data structures with applications to physical database organization

JOURNAL ARTICLE published 1983 in Acta Informatica

Authors: Takao Tsuda | Akira Urano | Takashi Sato

Final and sequential behaviours of M-automata

JOURNAL ARTICLE published August 2009 in Acta Informatica

Authors: Gabriel Ciobanu | Sergiu Rudeanu

A study of queueing networks with deterministic service and application to computer networks

JOURNAL ARTICLE published 1976 in Acta Informatica

Authors: J. Labetoulle | G. Pujolle

Generating Boolean $mu$ -expressions

JOURNAL ARTICLE published 1 March 1995 in Acta Informatica

Authors: Thomas Eiter

Two-dimensional packing with conflicts

JOURNAL ARTICLE published May 2008 in Acta Informatica

Authors: Leah Epstein | Asaf Levin | Rob van Stee

On-line coloring and cliques covering for KKs,t-free graphs

JOURNAL ARTICLE published October 2005 in Acta Informatica

Authors: Iwona Cieślik

An efficient simulation algorithm on Kripke structures

JOURNAL ARTICLE published March 2014 in Acta Informatica

Authors: Francesco Ranzato

OBSCURE a specification language for abstract data types

JOURNAL ARTICLE published April 1993 in Acta Informatica

Authors: Thomas Lehmann | Jacques Loeckx

Precedence technique is not worse than SLR(1)

JOURNAL ARTICLE published July 1986 in Acta Informatica

Authors: Piotr Wyrostek

Onn-column 0, 1-matrices with allk-projections surjective

JOURNAL ARTICLE published March 1994 in Acta Informatica

Authors: Hongzhong Wu