Finite State Machine Specification is a formal academic construct that defines the syntactic, semantic, and behavioral constraints of a finite state machine model, distinguishing it from other computational models by explicitly encoding states, transitions, input conditions, and output responses within a discrete-state dynamical system.
350
Publications
21.2K
Citations
782
Authors
328
Institutions
Publications per year
2017–2026
27
Variants
Fsm Specification
Publications
350
On Communicating Finite-State Machines
Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text
1–5 of 350
Authors
782
- NY
9
h-index
- RM
8
h-index
- GV
6
h-index
- RK
5
h-index
- ST
5
h-index
1–5 of 782
Institutions
328
Centre National de la Recherche Scientifique
Paris, France
11 h-index
18 publications
414 citations
AT&T (United States)
Bedminster, United States
10 h-index
15 publications
1.6K citations
National Research Tomsk State University
Tomsk, Russia
9 h-index
15 publications
455 citations
Eindhoven University of Technology
Eindhoven, The Netherlands
7 h-index
23 publications
559 citations
University of California, Berkeley
Berkeley, United States
7 h-index
19 publications
268 citations
Université de Montréal
Montreal, Canada
6 h-index
11 publications
815 citations
Indian Institute of Technology Kharagpur
Kharagpur, India
6 h-index
15 publications
538 citations
The University of Osaka
Osaka, Japan
6 h-index
12 publications
286 citations
1–8 of 328
Venues
- IEEE Transactions on Automatic Control
15 publications · 683 citations
13
h-index
- IEEE Transactions on Software Engineering
TSE · 11 publications · 1.8K citations
10
h-index
- Information and Software Technology
8 publications · 341 citations
8
h-index
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
8 publications · 197 citations
8
h-index
- IEEE Transactions on Computers
7 publications · 401 citations
7
h-index
1–5