Net-theoretical methods in modelling Byzantine consensus protocols in agreement problems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

(Kasvatustieteiden tiedekunnan selosteita / Joensuun yliopisto
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
name: (Kauppa- ja teollisuusministeriön tutkimuksia ja raportteja)
name: (Matkailun koulutus- ja tutkimuskeskuksen julkaisu
name: (Publication series of the University of Art and Design Helsinki UIAH, A
name: (Tiedotteita
name: (Tiedotteita / Valtion teknillinen tutkimuskeskus
name: (Tutkimuksia
name: (Tutkimuksia / Valtion tekillinen tutkimuskeskus
name: (Tutkimuksia / Valtion teknillinen tutkimuskeskus
name: (Working Paper
name: 129
name: 130
name: 15 : Informaatiopalvelun kurssi
name: 20 : Tietopalvelukurssi 1987-1988
name: 685)
name: A / Hämeen ammattikorkeakoulu
name: ACTA UNIVERSITATIS TAMPERENSIS / TOIMITUSKUNTA: PAAVO SIRO...ET AL.. SER. A
name: AH : B / AO
name: AINO-projekti, Oppimateriaaleja
name: AO : A / Oulun yliopisto
name: AO : C
name: AO-julkaisu : C
name: ASPA-julkaisuja
name: Aalto University School of Art and Design Publication Series. A
name: Aalto University School of Art and Design Publication series. A
name: Aalto University publication : Art + design + architecture
name: Aalto University publication serie. Doctoral dissertations
name: Aalto University publication series
name: Aalto University publication series : Art + design + architecture
name: Aalto University publication series : Business + economy
name: Aalto University publication series : Crossover
name: Aalto University publication series : Doctoral dissertations
name: Aalto University publication series : Science + technology
name: Aalto University publication series ART + DESIGN + ARCHITECTURE
name: Aalto University publication series BUSINESS+ECONOMY
name: Aalto University publication series Doctoral dissertations
name: Aalto University publication series, Science + technology
name: Aalto University publication series. 116/2012, Doctoral dissertations
name: Aalto University publication series. Art + design + architecture
name: Aalto University publication series. Art + design +architecture
name: Aalto University publication series. Business + economy
name: Aalto University publication series. Crossover
name: Aalto University publication series. Dictoral dissertations
name: Aalto University publication series. Doctoral Dissertations
name: Aalto University publication series. Doctoral dissertation
name: Aalto University publication series. Doctoral dissertations
name: Aalto University publication series. Doctoral dissertations, Doctoral dissertations
name: Aalto University publication series. Doctoral series
name: Aalto University publication series. Kauppa + talous
name: Aalto University publication series. Science + technology
name: Aalto University publications series. Doctoral Dissertations
name: Aalto University publications. Art + design + architecture
name: Aalto University, Publication series of the School of Art and Design : B
name: Aalto yliopisto taideteollisen korkeakoulun julkaisuja B B
name: Aalto yliopiston julkaisusarja : Doctoral dissertations
name: Aalto yliopiston julkaisusarja. Crossover
name: Aalto yliopiston julkaisusarja. Doctoral dissertations
name: Aalto yliopiston julkaisusarja. Kauppa + talous
name: Aalto yliopiston julkaisusarja. Tiede + teknologia
name: Aalto yliopiston taideteollisen korkeakoulun julkaisusarja B
name: Aalto yliopiston taideteollisen korkeakoulun julkaisusarja. B, ISSN
name: Aalto-ADA
name: Aalto-yliopisto / Taideteollisen korkeakoulun julkaisusarja. A
name: Aalto-yliopisto, Taideteollisen korkeakoulun julkaisusarja : A
name: Aalto-yliopisto, Taideteollisen korkeakoulun julkaisusarja : C
name: Aalto-yliopisto. Taideteollisen korkeakoulun julkaisusarja. C
name: Aalto-yliopiston julkaisusarja
name: Aalto-yliopiston julkaisusarja : Crossover
name: Aalto-yliopiston julkaisusarja : Kauppa + talous
name: Aalto-yliopiston julkaisusarja : Taide + muotoilu + arkkitehtuuri
name: Aalto-yliopiston julkaisusarja : Tiede + teknologia
name: Aalto-yliopiston julkaisusarja : Väitöskirjat
name: Aalto-yliopiston julkaisusarja TAIDE + MUOTOILU + ARKKITEHTUURI
name: Aalto-yliopiston julkaisusarja TIEDE+TEKNOLOGIA
name: Aalto-yliopiston julkaisusarja, CROSSCOVER
name: Aalto-yliopiston julkaisusarja, Kauppa + talous
name: Aalto-yliopiston julkaisusarja, Taide + muotoilu + arkkitehtuuri
name: Aalto-yliopiston julkaisusarja. Art + design + architecture
name: Aalto-yliopiston julkaisusarja. Crossover
name: Aalto-yliopiston julkaisusarja. Crossover / Aalto-yliopisto

SPNA, a Stochastic Petri Net Analyzer
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A graph model for efficient reachability analysis of description languages
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Logic in Petri net analysis
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Modelling message protocols for the Byzantine generals problem with PrT-nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A comparative study of methods for efficient reachability analysis
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A survey of fault-tolerant clock synchronization
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Circuits insensitive to delays in transistors and wires
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructions of mixed covering codes
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

ReFIEx : an experimental tool for special-purpose processor code generation
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An induction theorem for ring protocols of processes described with predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Towards optimizing code generation by domain-sensitive macro expansion
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Minimum-energy point charge configurations on a circular disk
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Performance analysis of a video on demand system using stochastic Petri nets : a case study
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Towards constraint satisfaction through logic programs and the stable model sematics
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Non-monotonic systems : a framework for analyzing semantics and structural properties of non-monotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Dynamical analysis of SDL programs with predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Implementation of local grounding for logic programs with stable model semantics
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Semantics of semaphores
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Annual report : For the academic year 1976-1977
author: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
name: Annual report : For the academic year 1977-1978
name: Annual report : For the academic year 1978-1979
name: Annual report : For the academic year 1979-1980
name: Annual report : For the academic year 1980-1981
name: Annual report : For the academic year 1981-1982
name: Annual report : For the academic year 1982-1983
name: Annual report : For the academic year 1983-1984
name: Annual report : For the year 1987
name: Annual report : For the year 1988
name: Annual report : For the year 1990
name: Annual report : For the year 1991
name: Annual report : For the year 1992
name: Annual report : For the year 1993
name: Annual report : For the year 1994
name: Annual report : For the year 1995
name: Annual report : For the year 1996
name: Annual report : For the year 1997
name: Digital Systems Laboratory : annual report for the academic year 1983-1984

[my]CAOS : a symmetric multiprocessor operating system supporting hybrid redundant computing
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Henkilökohtaisten mikrotietokoneiden kohderyhmä- ja ominaisuustarkastelu
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An implementation of the LISPKIT LISP system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Suomenkielen automaattinen tulkinta verkkokielten avulla : ensimmäisiä tuloksia
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Report : For the years 1984-1986
author: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Stratification and tractability in nonmonotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Weakened negative introspection in autoepistemic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructing covering designs by simulated annealing
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

PROD-A Pr/T-net reachability analysis tool
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Efficient detection of deadlocks in Petri nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructing combinatorial designs by local search
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Priorities and nonmonotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Design of a simulation model for performance evaluation of the multimicroprocessor system "MUMI"
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Multimicroprocessors as numerical control systems for machine tools
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Report from a study and research tour to the Leningrad Electrotechnical University (LETI) 3.1.-7.4.1978
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructing spherical codes by global optimization methods
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Efficient implementation of the stable model semantics for normal logic programs
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A high-level net model of a video on demand system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tekoälytutkimuksen uusi tuleminen : katsaus alan järjestö-, konferenssi- ja julkaisutoimintaan maailmalla
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tekoälytutkimuksen kaupalliset sovellutukset ja markkinat
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Artificial intelligence related research and education in Finland 1983
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Dialectical nets : a categorical approach to net theory
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the notion of dialectical nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A PrT-net representation of graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Digital systems laboratory : annual report for the academic year 1975-1976
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

High level distributed transition systems in categories
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Autoepistemic logic as a unified basis for nonmonotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the structure of high-level nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

PROD reference manual
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Lexicographic ordering as a basis of priorities in default reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the stubborn set method in reduced state space generation
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Performance analysis of a traffic control system using Stochastic Petri Nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Computer numerical control and multimicroprocessors
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Resource allocation in a distributed data acquisition network
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A multiprocessor reliability model
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

[my]C* : a hybrid redundant fault-tolerant multimicroprocessor
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

About the implementation of numerical control of machine tools by multimicroprocessor systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Moniprosessorijärjestelmien ohjelmistoarkkitehtuuritutkimuksen suuntaviivat Digitaalitekniikan laboratoriossa vuosille 1979-1981
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tekoäly : lyhyt katsaus
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Luonnollisen kielen ymmärtämisen tarkastelua
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An application of teaching to intelligent robot behavior
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A Petri-net model for a hybrid-redundant output system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An automatatheoretical approach to concurrency
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Utilizing Petri net models for multiprocessor synchronization and scheduling
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Introduction of Combinatorial Extended Petri Nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A model for representing and invoking robot bodily skills
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A graph manipulation system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An interactive user interface for a graph manipulation system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tietojenkäsittelyteorian käsiterakenteiden käytöstä luonnollisen kielen ymmärtämisen kuvaamisessa
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A structural, programmable text editor based on graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A performance modeling methodology for multiple processor systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Interfacing and transforming knowledge bases in a graph grammar based documentation system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Graph grammar approach to natural language parsing and understanding
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A management model of computer system design based on graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the implementation of recursive computers
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Computer systems as parts of flexible manufacturing systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Efficient algorithms for computing S-invariants for predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

What operational semantics is adequate for nonsequential systems?
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tools for verifying specifications
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Esitutkimus epämonotonisesta logiikasta
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A comparison of Pr/T-Net based FIFO channel models
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A logical basis for C/E-systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Specification of a net description language compiler
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Some unsolved problems in modelling self-timed circuits using Petri Nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An interactive PrT-net tool for verification of SDL-specifications
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Hardware support of concurrent process interaction and synchronization : on the principle of autocorrect implementation
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Towards automatic interpretation of S-invariants of predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Petri nets in algebraic theories : a category theory approach
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Design and implementation of a reduction tool for PrT-nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Automated interpretation of S-invariants of predicate/transition nets : an application of non-classical logics
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the compositionality and analysis of algebraic high-level nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A failure model of a distributed transaction processing system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Raportti tutustumismatkasta Varsovan teknillisen korkeakoulun tietojenkäsittelytekniikan laitokselle 19-26.2.1979
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the implementation of decentralized operative computer control for flexible manufacturing systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the structure of delegation networks
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Asiantuntijajärjestelmät
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the performance evaluation of multimicroprocessor systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the performance of the hybrid redundant multimicroprocessor [my]C*
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Helsinki logic machine : a system for logical expertise
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Modelling oral message solution protocols for agreement problems in fault-tolerant distributed systems using predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Program synthesis based on graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
type: Organization