# A formal model of quorum based κ-mutex algorithm using input/output automata
> Nur I.M.

URL kanonis: https://discover.unhas.ac.id/publications/a-formal-model-of-quorum-based-mutex-algorithm-using-inputoutput-automata
Jurnal / Konferensi: Proceedings Cyberneticscom 2016 International Conference on Computational Intelligence and Cybernetics
Tahun terbit: 2017
DOI: https://doi.org/10.1109/CyberneticsCom.2016.7892576
Citations: 0

## Authors
- Nur I.M.

## Abstract
An input/output automata model is a distributed computation model in distributed systems to create a formal model or to prove a distributed algorithm. This research aims to create a formal model of quorum based k-mutual exclusion (k-mutex) algorithm. The formal model of quorum based k-mutex algorithm using input/output automata consists of five components: signature, state, initial state, transition, and task. The constructed model proved by using time line and execution of input/output automata. The result of research shows that the input/output automata model of quorum based k-mutex algorithm solved the problem of k-mutex given.

## Keywords
- Semaphore
- Automaton
- Computer science
- Mutual exclusion
- Finite-state machine
- Algorithm
- State (computer science)
- Timed automaton
- Theoretical computer science
- Programming language

---
Sumber: Discover Unhas — RIMS Universitas Hasanuddin.
Saat mengutip, gunakan DOI bila tersedia atau URL kanonis di atas.