Decentralized runtime verification of message sequences in message-based systems.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 145, doi. 10.1007/s00236-022-00435-z
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2023 AND VI 60 AND IP 2
Results: 4
1
2
On partial information retrieval: the unconstrained 100 prisoner problem.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 179, doi. 10.1007/s00236-022-00436-y
- By:
- Publication type:
- Article
3
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 101, doi. 10.1007/s00236-022-00430-4
- By:
- Publication type:
- Article
4
Pushdown automata and constant height: decidability and bounds.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 123, doi. 10.1007/s00236-022-00434-0
- By:
- Publication type:
- Article