Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /

Selección de ponencias de la décima sexta Conferencia Internacional sobre Modelos y Lenguajes de Coordinación, celebrada en Berlín, Alemania, en junio de 2014. Se incluyen las siguientes colaboraciones: Codificación de interacciones sincrónicas mediante redes de Petri etiquetadas; Decisiones Verific...

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Institution som forfatter: International Conference on Coordination Models and Languages ( Berlín, Alemania)
Andre forfattere: Kühn, Eva (edición) (edición), Pugliese, Rosario (edición) (edición)
Format: Procedimiento de la conferencia Bog
Sprog:engelsk
Udgivet: Heidelberg, Alemania : Springer, 2014, c2014
Serier:(Lecture Notes in Computer Science ; 8459)
Fag:
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

MARC

LEADER 00000nam^a2200000^a^4500
001 000554133
005 20251023000000.0
009 20260310131652.447
020 |a 978-3-662-43376-8 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Conference on Coordination Models and Languages (  |n 16a :  |d 2014 :  |c Berlín, Alemania) 
245 1 0 |a Coordination Models and Languages :  |b 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /  |c Ed. de E. Kühn, R. Pugliese. 
264 4 |a Heidelberg, Alemania :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XIV, 195 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Computer Science ;  |v 8459) 
506 0 |a Licencias ilimitadas 
520 |a Selección de ponencias de la décima sexta Conferencia Internacional sobre Modelos y Lenguajes de Coordinación, celebrada en Berlín, Alemania, en junio de 2014. Se incluyen las siguientes colaboraciones: Codificación de interacciones sincrónicas mediante redes de Petri etiquetadas; Decisiones Verificables en sistemas autónomos concurrentes; Coordinación de reglas de ECA por verificación y control; El progreso como libertad de bloqueo composicional; Optimización basada en autómatas de protocolos de interacción para plataformas multinúcleo escalables; Intercambio de datos seguro y eficiente para la concurrencia de paso de mensajes; Actores de sesión multiparte; Un cálculo de campos computacionales autoestabilizadores; El cálculo de la calidad estocástica. 
649 |a XX 
650 |a Programación Estocástica 
650 |a Aprendizaje Automático (Inteligencia Artificial) 
650 |a Control -  |x Teoría 
650 |a Complejidad Computacional 
650 |a Algoritmos Computacionales -  |x Tema Principal 
650 |a Programación (Matemáticas) 
650 |a Programación (Software) 
650 |a Traducción Automática 
650 |a Algoritmos 
650 |a Autómatas Matemáticos -  |x Teoría 
650 |a Redes de Petri 
650 |a Redes (Matemáticas) 
650 |a Modelos Matemáticos -  |x Congresos -  |x Tema Principal 
650 |a Modelos Matemáticos 
650 |a Matemáticas 
650 |a Desarrollo de Sistemas 
650 |a Ingeniería Computacional 
700 |a Kühn, Eva  |e (edición) 
700 |a Pugliese, Rosario  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-662-43376-8  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 554133-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000554133