Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17046592

On composition and lookahead delegation of e-services modeled by automata

Author
ZHE DANG1 ; IBARRA, Oscar H2 ; JIANWEN SU2
[1] School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA 99164, United States
[2] Department of Computer Science, University of California, Santa Barbara, CA 93106, United States
Source

Theoretical computer science. 2005, Vol 341, Num 1-3, pp 344-363, 20 p ; ref : 29 ref

CODEN
TCSCDI
ISSN
0304-3975
Scientific domain
Computer science
Publisher
Elsevier, Amsterdam
Publication country
Netherlands
Document type
Article
Language
English
Author keyword
Automated composition Decidable Delegator E-service modelling E-services Finite- state automata Infinite-state automata Lookahead delegation Undecidable
Keyword (fr)
Assignation Automate déterministe Automate fini Automate à pile Décidabilité Entrée ordinateur Informatique théorique Pile mémoire Stockage Automate état fini Automate état infini Composition automatisée Délégateur Modelisation E service
Keyword (en)
Assignment Deterministic automaton Finite automaton Push down automaton Decidability Input Computer theory Stack Storage Infinite state automaton Automated composition Delegator E service modelling
Keyword (es)
Asignación Autómata determinista Autómata estado finito Autómata a pila Decidibilidad Entrada ordenador Informática teórica Pila Almacenamiento
Classification
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02A Theoretical computing / 001D02A03 Automata. Abstract machines. Turing machines

Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02A Theoretical computing / 001D02A05 Algorithmics. Computability. Computer arithmetics

Discipline
Computer science : theoretical automation and systems
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
17046592

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Access to the document

Searching the Web