Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Input/output_automaton> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- output_automaton abstract "Input/output automata provide a formal model, applicable in describing most types of asynchronous concurrent system. On its own, the I/O automaton model contains a very basic structure that enables it to model various types ofdistributed systems. To describe specific types of asynchronous systems, additional structure must be added to this basic model. The model presents an explicit method for describing and reasoning about system components such as processes and message channels that interact with one another, operating at arbitrary relative speeds. The I/O automata were first introduced by Nancy A. Lynch and Mark R. Tuttle in \"Hierarchical correctness proofs for distributed algorithms\", 1987.\"An I/O automaton models a distributed system component that can interact with other system components. It is a simple type of state machine in which the transitions are associated with named actions.\"There are three types of actions: input, output, and internal actions. The automaton uses its input and output actions to communicate with its environment, whereas the internal actions are only visible to the automaton itself. Unlike internal and output actions that are selected and carried out by the automaton, the input actions – which simply arrive from the environment - are not under automaton's control.".
- output_automaton thumbnail ProcessIOV2.jpg?width=300.
- output_automaton wikiPageExternalLink citation.cfm?id=703043.
- output_automaton wikiPageExternalLink tcs97.pdf.
- output_automaton wikiPageID "34169731".
- output_automaton wikiPageLength "25726".
- output_automaton wikiPageOutDegree "26".
- output_automaton wikiPageRevisionID "680733035".
- output_automaton wikiPageWikiLink Actor_model.
- output_automaton wikiPageWikiLink Asynchronous_system.
- output_automaton wikiPageWikiLink Automata_theory.
- output_automaton wikiPageWikiLink Black_box.
- output_automaton wikiPageWikiLink Category:Articles_created_via_the_Article_Wizard.
- output_automaton wikiPageWikiLink Category:Distributed_computing.
- output_automaton wikiPageWikiLink Communicating_sequential_processes.
- output_automaton wikiPageWikiLink Concatenation.
- output_automaton wikiPageWikiLink Concurrent_computing.
- output_automaton wikiPageWikiLink Disjoint_sets.
- output_automaton wikiPageWikiLink Distributed_computing.
- output_automaton wikiPageWikiLink Equivalence_class.
- output_automaton wikiPageWikiLink Equivalence_relation.
- output_automaton wikiPageWikiLink FIFO_(computing_and_electronics).
- output_automaton wikiPageWikiLink Formal_methods.
- output_automaton wikiPageWikiLink Integer.
- output_automaton wikiPageWikiLink Message_passing.
- output_automaton wikiPageWikiLink Nancy_Lynch.
- output_automaton wikiPageWikiLink Round-robin_scheduling.
- output_automaton wikiPageWikiLink Shared_memory.
- output_automaton wikiPageWikiLink String_(computer_science).
- output_automaton wikiPageWikiLink Substring.
- output_automaton wikiPageWikiLink File:CompositionIOProcessV2.jpg.
- output_automaton wikiPageWikiLink File:IOChannelV2.jpg.
- output_automaton wikiPageWikiLink File:ProcessIOV2.jpg.
- output_automaton wikiPageWikiLink File:SharedMemV2.jpg.
- output_automaton wikiPageWikiLinkText "Input/output automaton".
- output_automaton wikiPageWikiLinkText "input/output automaton".
- output_automaton wikiPageUsesTemplate Template:Cite_conference.
- output_automaton wikiPageUsesTemplate Template:Cite_journal.
- output_automaton wikiPageUsesTemplate Template:Reflist.
- output_automaton subject Category:Articles_created_via_the_Article_Wizard.
- output_automaton subject Category:Distributed_computing.
- output_automaton comment "Input/output automata provide a formal model, applicable in describing most types of asynchronous concurrent system. On its own, the I/O automaton model contains a very basic structure that enables it to model various types ofdistributed systems. To describe specific types of asynchronous systems, additional structure must be added to this basic model.".
- output_automaton label "Input/output automaton".
- output_automaton sameAs Q5968144.
- output_automaton sameAs m.0hrb9pn.
- output_automaton sameAs Q5968144.
- output_automaton wasDerivedFrom output_automaton?oldid=680733035.
- output_automaton depiction ProcessIOV2.jpg.
- output_automaton isPrimaryTopicOf output_automaton.