An Exercise in Formalizing the Description of a Concurrent System

Software - Practice and Experience - United Kingdom
doi 10.1002/spe.4380221204
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Wiley

Related search

Formalizing Geographical Models Using Specification and Description Language: The Wildfire Example

2013English

The New Zeus Run Control System: An Exercise in Modularity

1996English

A Description of the RIKKE 1 System

DAIMI Report Series
1974English

An Ontology for State Analysis: Formalizing the Mapping to SysML

2012English

A Markov Model Description of Changeover Probabilities on Concurrent Variable-Interval Schedules

Journal of the Experimental Analysis of Behavior
Behavioral NeuroscienceExperimentalCognitive Psychology
1979English

‘D-Mash’ – A Concurrent Distributed Booking System

International Journal of Computer Applications
2016English

An Approach for Modeling and Formalizing SOA Design Patterns

2013English

An Adaptation of the PICE System as a Template for Disaster Planning: An Exercise in Facilitating Integrative Consultation

Prehospital and Disaster Medicine
Emergency NursingEmergency Medicine
2000English

Formalizing Service Interactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy