Search results for "Commands"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
151	Gertrud S. Joachim	Memory Efficiency.	J. ACM	1959	DBLP DOI BibTeX RDF
71	Chandimal Jayawardena, Keigo Watanabe, Kiyotaka Izumi	Controlling a robot manipulator with fuzzy voice commands using a probabilistic neural network.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Coach-player system, Sub-coach, Natural language commands, Subjective decisions, PNN
64	Ahti-Veikko Pietarinen	Diagrammatic Logic of Existential Graphs: A Case Study of Commands.	Diagrams	2008	DBLP DOI BibTeX RDF	diagrammatic logic, existential graphs, tinctures, multi-modality, commands, multi-dimensionality
62	Victor Zappi, Andrea Brogni, Darwin G. Caldwell	Passive hand pose recognition in virtual reality.	3DUI	2010	DBLP DOI BibTeX RDF	passive hand pose recognition, sound parameters, free hand mesh manipulation, selection commands, translation commands, rotation commands, virtual reality, user interface
62	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
62	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
62	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
62	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
62	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
62	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
62	Maria Calzarossa, Domenico Ferrari	A Sensitivity Study of the Clustering Approach to Workload Modeling.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
62	David R. Barach, David H. Taenzer, Robert E. Wells	A technique for finding storage allocation errors in C-language programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
57	Hiromichi Fukutake, Yoshiaki Akazawa, Yoshihiro Okada, Koichi Niijima	3D Object Layout by Voice Commands Based on Contact Constraints.	CGIV	2005	DBLP DOI BibTeX RDF	3D Scene Generation, 3D Object Layout, Voice commands, IntelligentBox
55	Manfred Broy, Greg Nelson	Adding Fair Choice to Dijkstra's Calculus.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dovetail, law of the excluded miracle, partial commands, semantics, fairness, nondeterminism, guarded commands
55	Vladimir M. Zatsiorsky, Robert W. Gregory, Mark L. Latash	Force and torque production in static multifinger prehension: biomechanics and control. II. Control.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
50	Helge Hüttenrauch, Michael Tate, Martin Böcker, Rosemary Orr, Françoise Petersen	Standardising SPOKEN commands for mobile devices and services.	Mobility Conference	2008	DBLP DOI BibTeX RDF	user interface, speech recognition, user testing
50	Greg Little, Robert C. Miller	Translating keyword commands into executable code.	UIST	2006	DBLP DOI BibTeX RDF	natural language processing, end-user programming, web automation, command languages
50	Emil Ong, Ewing L. Lusk, William Gropp	Scalable Unix Commands for Parallel Processors: A High-Performance Implementation.	PVM/MPI	2001	DBLP DOI BibTeX RDF
48	Chunbo Zhou, Atsumi Imamiya	Object-based nonlinear undo model.	COMPSAC	1997	DBLP DOI BibTeX RDF	object-based nonlinear undo model, recovery facility, human-computer interaction systems, recovery history, object selection, object state recovery, subhistories, main history, interactive cycle sequence, active commands, inactive commands, TRIBASE, usability, system recovery
48	Mitchell Tsai, Peter L. Reiher, Gerald J. Popek	Command Management System for Next-Generation User Input.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	User Input Systems, Context, Operating Systems, Speech Recognition, Wearable Computers, Sensors, Intelligent User Interfaces, Smart Spaces, Commands, Perceptual User Interfaces
43	Michael J. Denkowski, Charles J. Hannon, Antonio Sánchez	Spoken Commands in a Smart Home: An Iterative Approach to the Sphinx Algorithm.	MICAI	2007	DBLP DOI BibTeX RDF
43	Peter Gorniak, Deb Roy	Augmenting user interfaces with adaptive speech commands.	ICMI	2003	DBLP DOI BibTeX RDF	robust speech interfaces, machine learning, user modelling, phoneme recognition
41	Subrat Kumar Dash, Krupa Sagar Reddy, Arun K. Pujari	Episode Based Masquerade Detection.	ICISS	2005	DBLP DOI BibTeX RDF
41	Mohammad H. N. Tabrizi, Lee Toderick	IEEE-488 1978 general purpose interface bus test.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
37	Jeongseok Seo, Sung Deok Cha	Masquerade detection based on SVM and sequence-based user commands profile.	AsiaCCS	2007	DBLP DOI BibTeX RDF	user commands profile, support vector machine (SVM), anomaly detection, masquerade detection
37	Jonathan L. Herlocker, Joseph A. Konstan	Commands as Media: Design and Implementation of a Command Stream.	ACM Multimedia	1995	DBLP DOI BibTeX RDF	TclStream, command stream, reversibilty, multimedia presentations, commands
36	Michael Brenner 0001	Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots.	RO-MAN	2007	DBLP DOI BibTeX RDF
36	James R. Lyle, Steven Mead, Kelsey Rider	Disk Drive I/O Commands and Write Blocking. (PDF / PS)	IFIP Int. Conf. Digital Forensics	2007	DBLP DOI BibTeX RDF	forensic tool testing, write blockers, Data acquisition
36	Maciej Majewski, Wojciech Kacalak	Automatic Recognition and Evaluation of Natural Language Commands.	ISNN (2)	2006	DBLP DOI BibTeX RDF
36	Maciej Majewski, Wojciech Kacalak	Intelligent Interface for Recognition and Verification of Natural Language Commands.	ICIC (2)	2006	DBLP DOI BibTeX RDF
36	Walter Dosch	Enriching the Input Interface of Interactive Components with Undo Commands.	SERA	2006	DBLP DOI BibTeX RDF	Interactive component, interface refinement, undo command, input/output behaviour, state transition table, state transition machine
36	Maria Ralph, Medhat Moussa	On the effect of the user's background on communicating grasping commands.	HRI	2006	DBLP DOI BibTeX RDF	natural language instruction, skill transfer, user-adaptive robotics, human-robot interaction, grasping
36	Wojciech Kacalak, Maciej Majewski	Intelligent System for Automatic Recognition and Evaluation of Speech Commands.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
36	Matthew Gebski, Raymond K. Wong 0001	Intrusion Detection via Analysis and Modelling of User Commands.	DaWaK	2005	DBLP DOI BibTeX RDF
34	G. M. Germano, Stefano Mazzanti	Non-Deterministic Closure Theory and Universal Arrows.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands
34	Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli	Some Consideration on Real-Time Bahavior of Concurrent Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	real-time behavior, semantic issues, real-time systems, parallel programming, program verification, concurrent programs, formal languages, programming theory, high level languages, real-time programs, guarded commands, real-time language
34	Sihyung Lee, Tina Wong, Hyong S. Kim	Netpiler: detection of ineffective router configurations.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
34	Minkyung Lee, Mark Billinghurst	A Wizard of Oz study for an AR multimodal interface.	ICMI	2008	DBLP DOI BibTeX RDF	AR, augmented reality, user study, multimodal interaction, multimodal interface, wizard of oz
34	Jeffrey B. Cole, David B. Grimes, Rajesh P. N. Rao	Learning full-body motions from monocular vision: dynamic imitation in a humanoid robot.	IROS	2007	DBLP DOI BibTeX RDF
34	Il-Gu Lee, Dong To Nguyen, Doik Kim	Classification of high-level command and Translator System Architecture of CCSLR as a scripting language for Network-based Robot.	RO-MAN	2007	DBLP DOI BibTeX RDF
34	Shaohua Teng, Wei Zhang 0005, Xiufen Fu, Naiqi Wu	Cooperative Intrusion Detection Model Based on State Transition Analysis.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Cooperative intrusion detection, Isomorphic transformation, Crucial operation, Scenario, State transition, Topological order
34	Dongkyoung Chwa, Junho Kang, Jin Young Choi 0002	Online trajectory planning of robot arms for interception of fast maneuvering object under torque and velocity constraints.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
32	Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif	From Robot Commands to Real-time Robot Control - Transforming High-level Robot Commands into Real-time Dataflow Graphs.	ICINCO (2)	2012	DBLP BibTeX RDF
32	James R. Cloutier, Donald T. Stansbery	Dynamic conversion of flight path angle commands to body attitude commands.	ACC	2002	DBLP DOI BibTeX RDF
32	Aeleen Frisch	Windows 2000 commands - pocket reference: includes resource kit commands.		2001	RDF
32	Dominique L. Scapin	Computer commands labelled by users versus imposed commands and the effect of structuring rules on recall.	CHI	1982	DBLP DOI BibTeX RDF
30	Rytis Maskeliunas, Algimantas Rudzionis, Vytautas Rudzionis	Analysis of the Possibilities to Adapt the Foreign Language Speech Recognition Engines for the Lithuanian Spoken Commands Recognition.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	Lithuanian speech recognition, transcriptions
30	Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel	Generating Domain-Specific Model Editors with Complex Editing Commands.	AGTIVE	2007	DBLP DOI BibTeX RDF
30	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
30	Luis Miguel Bergasa, Manuel Mazo 0001, Alfredo Gardel Vicente, Rafael Barea, Luciano Boquete	Commands Generation by Face Movements Applied to the Guidance of a Wheelchair for Handicapped People.	ICPR	2000	DBLP DOI BibTeX RDF
30	R. Govindarajan, Sheng Yu 0001	Data Flow Implementation of Generalized Guarded Commands.	PARLE (1)	1991	DBLP DOI BibTeX RDF
27	Katie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons	Command Dialogues.	ArgMAS	2008	DBLP DOI BibTeX RDF	imperatives, semantics, interaction protocols, agent communications, dialogue games, commands, argument schemes
27	Jin Liang, Indranil Gupta, Klara Nahrstedt	Reliable on-demand management operations for large-scale distributed applications.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF	instant commands, on-demand overlays, reliability, monitoring
27	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
27	Alvin J. Surkan	Spoken-word direction of computer program synthesis.	APL	2000	DBLP DOI BibTeX RDF	chatting in context, computer program synthesis, constructive composition of functional programs, incremental verbal software specification, spoken computer commands, talking with computers, voice computing, voice-directed programming, APL, human-computer interface
27	Hans Scholten, Pierre G. Jansen	A distributed multimedia toolbox.	RTCSA	1997	DBLP DOI BibTeX RDF	distributed multimedia toolbox, realtime multimedia technology, tele-teaching, real-time environment, network transparent multimedia services, temporal access commands, spatial synchronization, formal specification, operating system, rapid prototyping, collaborative work, teleconferencing, software prototyping, quality of service management, continuous media
27	Thibault Duboux, Afonso Ferreira	Achieving Good Performance for Dictionary Machines: A Scalable Distributed Data Balancing Technique.	PDP	1996	DBLP DOI BibTeX RDF	scalable distributed data balancing technique, utility commands, online reorganization, load balancing, data structures, resource allocation, distributed databases, distributed database, database theory, distributed memory systems, software performance evaluation, multicomputer, software performance, database applications, distributed memory architectures, concurrent access, dictionary machines
27	Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl	Proving Total Correctness of Programs in Weak Second-Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
27	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
27	Behrokh Samadi	TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	TUNEX, UNIX system V, disk buffers, maintenance routines, reorganizing file systems, operation rules, knowledge-based system, expert system, expert systems, Unix, utilities, performance monitoring, performance tuning, commands, UNIX operating system
27	Yansong Zhang, Yanqin Xiao, Zhanwei Wang, Xiaodong Ji, Yunkui Huang, Shan Wang 0001	ScaMMDB: Facing Challenge of Mass Data Processing with MMDB.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF
27	Najwa Aaraj, Anand Raghunathan, Niraj K. Jha	Analysis and design of a hardware/software trusted platform module for embedded systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	embedded systems, multiprocessor systems, Custom instructions
27	Jaeseung Chang, Marie-Luce Bourguet	Usability framework for the design and evaluation of multimodal interaction.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	modelling, interaction design, finite state machine, multimodality, usability evaluation
27	Alfredo Weitzenfeld, Carlos Ramos, Peter Ford Dominey	Coaching Robots to Play Soccer via Spoken-Language.	RoboCup	2008	DBLP DOI BibTeX RDF
27	Edward Tse, Saul Greenberg, Chia Shen, Clifton Forlines, Ryo Kodama	Exploring true multi-user multimodal interaction over a digital table.	Conference on Designing Interactive Systems	2008	DBLP DOI BibTeX RDF	multimodal speech and gesture interfaces, computer supported cooperative work, tabletop interaction
27	Helman I. Stern, Juan P. Wachs, Yael Edan	Optimal Consensus Intuitive Hand Gesture Vocabulary Design.	ICSC	2008	DBLP DOI BibTeX RDF	intuitive indices, optimal vocabulary, gesture selection, interfaces, hand gestures, man-machine interaction
27	Christos Bouras, Vassilis Poulopoulos, Ioannis Sengounis, Vassilis Tsogkas	Networking Aspects for Gaming Systems.	ICIW	2008	DBLP DOI BibTeX RDF	remote command execution, input device capturing, online gaming, remote control
27	Vicki L. Hanson, John T. Richards, Chin Chin Lee	Web Access for Older Adults: Voice Browsing?	HCI (5)	2007	DBLP DOI BibTeX RDF	UI, Web, older adults, conversational interfaces
27	Xiao Ni, Weiren Shi, Victor Foo Siang Fook	AES Security Protocol Implementation for Automobile Remote Keyless System.	VTC Spring	2007	DBLP DOI BibTeX RDF
27	Joël Migneault, Jean-Marc Robert 0002, Michel C. Desmarais, Sylvain Caron	Comparing voice with touch screen for controlling the instructor's operating station of a flight simulator.	SMC	2007	DBLP DOI BibTeX RDF
27	Darris Hupp, Robert C. Miller	Smart bookmarks: automatic retroactive macro recording on the web.	UIST	2007	DBLP DOI BibTeX RDF	macro recording, browsers, web automation
27	Maciej Majewski, Wojciech Kacalak	Intelligent System for Natural Language Processing.	ICIC (2)	2006	DBLP DOI BibTeX RDF
27	Malek Adjouadi, Dalila Landestoy, Melvin Ayala, Walter Tischer	A Real-Time Voice Controlled Human Computer Interface to Help Persons with Motor Disability.	ICCHP	2004	DBLP DOI BibTeX RDF
27	David V. Keyson, Marc de Hoogh, Jans Aasman	Designing for pen and speech input in an object-action framework: the case of email.	Univers. Access Inf. Soc.	2003	DBLP DOI BibTeX RDF	generic actions, Webpad, navigation, user interface design, Multimodal interaction, objects, email, pen input, speech input
27	Jui-Fa Chen, Wei-Chuan Lin, Chi-Ming Chung, Chih-Yu Jian	An Enhanced Transmission Service with 3-Priority Queue Management for Real-Time Interaction in Virtual World.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF	Virtual world, Image, Bandwidth, Priority Queue, Wireless environment
27	Claudio Baiocchi	Three Small Universal Turing Machines.	MCU	2001	DBLP DOI BibTeX RDF
27	Frank Linton, Andy Charron, Debbie Joy	Coaching Software Skills on the Job: Laying the Groundwork.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
27	Jim Weigang	The User Command Processor.	APL	1991	DBLP DOI BibTeX RDF	APL
27	David Lorge Parnas	On Iterative Constructs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
27	Gautam Biswas, Manton M. Matthews, Antang Huang	An assistance system for UNIX text formatters.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Linux
27	David K. Boesharr	Le Menu: changing the user interface on a local area network.	SIGUCCS	1987	DBLP DOI BibTeX RDF
23	Ioanna Malagardi, Christina Alexandris	Verb Processing in Spoken Commands for Household Security and Appliances.	HCI (6)	2009	DBLP DOI BibTeX RDF	motion verbs, natural language processing, speech recognition, interlinguas
23	Anja Austermann, Seiji Yamada	A biologically inspired approach to learning multimodal commands and feedback for human-robot interaction.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	machine learning, human-robot-interaction, multimodality, user feedback, speech perception
23	Oana Boncalo, Mihai Udrescu, Lucian Prodan, Mircea Vladutiu, Alexandru Amaricai	Simulated Fault Injection for Quantum Circuits Based on Simulator Commands.	SACI	2007	DBLP DOI BibTeX RDF
23	Gunnar Blohm, Lance M. Optican, Philippe Lefèvre	A model that integrates eye velocity commands to keep track of smooth eye displacements.	J. Comput. Neurosci.	2006	DBLP DOI BibTeX RDF	Smooth pursuit, Double step, Updating, Saccades, Remapping
23	Tomoyuki Yamada	Logical Dynamics of Commands and Obligations.	JSAI	2006	DBLP DOI BibTeX RDF
23	Alexander Hof, Eli Hagen	Learning and Forgetting of Speech Commands in Automotive Environments.	PIT	2006	DBLP DOI BibTeX RDF
23	Victor Krasheninnikov, Andrey Armer, Natalia Krasheninnikova, Valery Derevyankin, Victor Kozhevnikov, Nikolay Makarov	Autoregressive Models of Speech Signal Variability in the Speech Commands Statistical Distinction.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
23	Lee McCauley, Sidney K. D'Mello, Steve Daily	Understanding without formality: augmenting speech recognition to understand informal verbal commands.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	speech recognition, command-and-control, latent semantic analysis, natural language understanding
23	Wojciech Kacalak, Maciej Majewski	Automatic Recognition and Verification of Voice Commands in Natural Language Given by the Operator of the Technological Device Using Artificial Neural Networks.	CORES	2005	DBLP DOI BibTeX RDF
23	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Inserting Safe Memory Reuse Commands into ML-Like Programs.	SAS	2003	DBLP DOI BibTeX RDF
23	Gabriel Pires, Urbano Nunes	A Wheelchair Steered through Voice Commands and Assisted by a Reactive Fuzzy-Logic Controller.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	voice human-machine interface, behaviour-based architecture, fuzzy control, shared control
23	Beverly A. Sanders	Using atomic await commands to develop concurrent programs in Java.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Atomic await, Java, Concurrent programming
23	J. W. de Bakker, Franck van Breugel, Arie de Bruin	Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.	MFCS	1993	DBLP DOI BibTeX RDF
21	Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
21	Vasif Ahmed, Siddharth A. Ladhake	Design of Ultra Low Cost Cell Phone Based Embedded System for Irrigation.	MVHI	2010	DBLP DOI BibTeX RDF	AT commands, micro-controller, SMS, cell phone, Remote Monitoring
21	Sharon L. Oviatt, Rebecca Lunsford, Rachel Coulston	Individual differences in multimodal integration patterns: what are they and why do they exist?	CHI	2005	DBLP DOI BibTeX RDF	disfluencies, impulsive-reflective cognitive style, multimodal integration patterns, simultaneous or sequential input, errors, conversations, individual differences, commands
21	Jacob O. Wobbrock, Htet Htet Aung, Brandon Rothrock, Brad A. Myers	Maximizing the guessability of symbolic input.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	command-line, guessability, immediate usability, gestures, text entry, labels, icons, symbols, keywords, referents, commands, unistrokes, proposals, edgewrite
21	Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian	A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	formal program transformation, self-timed logic, signal transition graphs (STG), speed independent circuits, guarded commands, delay insensitive circuits, Asynchronous sequential circuits
21	Jan A. Bergstra, Alban Ponse, Jos van Wamel	Process Algebra with Backtracking.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	backtracking, guarded commands, & Phrases process algebra