Skip to content
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Servicios bibliotecarios
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Journal Matcher
Blog
Contacto
Buscar
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Volumen 23 (2015): Edición 4 (Diciembre 2015)
Acceso abierto
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Ievgen Ivanov
Ievgen Ivanov
Buscar este autor en
Sciendo
|
Google Scholar
Ivanov, Ievgen
,
Mykola Nikitchenko
Mykola Nikitchenko
Buscar este autor en
Sciendo
|
Google Scholar
Nikitchenko, Mykola
y
Uri Abraham
Uri Abraham
Buscar este autor en
Sciendo
|
Google Scholar
Abraham, Uri
25 mar 2016
Formalized Mathematics
Volumen 23 (2015): Edición 4 (Diciembre 2015)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Descargar portada
Publicado en línea:
25 mar 2016
Páginas:
325 - 331
Recibido:
14 ago 2015
DOI:
https://doi.org/10.1515/forma-2015-0026
Palabras clave
68M14
,
68W15
,
68N30
,
03B35
© 2015 Ievgen Ivanov et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
