Search results

Articles (7)

Journals (0)

1-7 of 7 results for dining philosopher

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2018

Logic-based Verification of the Distributed Dining Philosophers Protocol

Giorgio Delzanno

Fundamenta Informaticae

Free access

Research article

First published 2022-5

Route outlining of humanoid robot on flat surface using MFO aided artificial potential field approach

Abhishek Kumar Kashyap, Dayal R Parhi, Priyadarshi Biplab Kumar

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Free access

Research article

First published 2015-5

Living in Health,Harmony,and Beauty: The Diné (Navajo) Hózhó Wellness Philosophy

Michelle Kahn-John (Diné), Mary Koithan

Global Advances in Integrative Medicine and Health

Retricted access

Research article

First published 1998-4

Christians and Epicureans in 1 Corinthians

Graham Tomlin

Journal for the Study of the New Testament

Open access

Research article

First published 2017-8

A class of generalized Petri nets and its state equation

Rongming Zhu, Ya Zhang, Lan Yang

Advances in Mechanical Engineering

Retricted access

Research article

First published 2011-5

An Operational Petri Net Semantics for A 2 CCS

Roberto Gorrieri, Cristian Versari

Fundamenta Informaticae

Retricted access

Research article

First published 2009-6

A Translator of Java Programs to TADDs

Artur Rataj, Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae