← all works
Designing communicating transaction processes by supervisory control theory
Why is this work in the frame?
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Canadian affiliationAn author listed a Canadian institution. This is the only route the usual frame has.
The three-model screen
all 1,000 screened works →All three models called this out of scope.
stratum: aff_core · design weight: 5595.24 (the sample is stratified; any rate computed without the weight is wrong)
Claude Opus 4.8OUT
genre: empirical
about Canada: no
confidence: high
Supervisory control theory for designing transaction processes; a formal methods contribution.
GPT-5.6 (high)OUT
genre: other
about Canada: no
confidence: high
The title clearly indicates a technical study of transaction processes rather than research itself.
Grok 4.5OUT
genre: empirical
about Canada: no
confidence: high
Formal methods paper on designing communicating transaction processes; CS systems design, not metaresearch.
Abstract
No abstract. This is not a gap in this database — OpenAlex has none either. 23.3% of the frame is in this state, and the screen finds HALF as much metaresearch here, so the absence is a measured bias rather than a missing field.
The record
- Venue
- Formal Methods in System Design
- Topic
- Petri Nets in System Modeling
- Field
- Computer Science
- Canadian institutions
- University of Toronto
- Funders
- —
- Keywords
- Supervisory controlSupervisory control theoryComputer scienceDatabase transactionBridging (networking)Control (management)Set (abstract data type)Process (computing)Distributed computingControl logicEvent (particle physics)Theoretical computer scienceProgramming languageArtificial intelligenceComputer network
- Has abstract in OpenAlex
- no