← tous les travaux
Designing communicating transaction processes by supervisory control theory
Pourquoi ce travail est-il dans la base ?
Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.
Affiliation canadienneUne personne signataire a déclaré un établissement canadien. C'est la seule voie dont dispose la base habituelle.
Le tri à trois modèles
les 1 000 travaux triés →Les trois modèles l'ont jugé hors champ.
strate : aff_core · poids de sondage : 5595.24 (l'échantillon est stratifié ; tout taux calculé sans le poids est faux)
Claude Opus 4.8OUT
genre : empirical
porte sur le Canada: non
confiance: high
Supervisory control theory for designing transaction processes; a formal methods contribution.
GPT-5.6 (high)OUT
genre : other
porte sur le Canada: non
confiance: high
The title clearly indicates a technical study of transaction processes rather than research itself.
Grok 4.5OUT
genre : empirical
porte sur le Canada: non
confiance: high
Formal methods paper on designing communicating transaction processes; CS systems design, not metaresearch.
Résumé
Aucun résumé. Ce n'est pas une lacune de cette base de données : OpenAlex n'en a pas non plus. 23,3 % de la base est dans cet état, et le tri y repère MOITIÉ moins de métarecherche ; l'absence est donc un biais mesuré, et non un champ manquant.
La notice
- Revue
- Formal Methods in System Design
- Thématique
- Petri Nets in System Modeling
- Domaine
- Computer Science
- Établissements canadiens
- University of Toronto
- Organismes subventionnaires
- —
- Mots-clés
- 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
- Résumé présent dans OpenAlex
- non