The Global Standard Management Process (GSMP) is part of the GS1 system of standards used in World Trade. It is an integral part of the GS1 standardsâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

Model checking is a popular algorithmic verification technique for checking temporal requirements of mathematical models ofâ€¦Â (More)

Is this relevant?

2015

2015

We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markovâ€¦Â (More)

Is this relevant?

2008

2008

- Umesh S. Deshmukh, V. Sahula
- 2008 International Conference on Microelectronics
- 2008

The modern-day system-on-chip communication posses complex characteristics- (a) the communication times of individualâ€¦Â (More)

Is this relevant?

2007

2007

- Mikhail Bernadsky, Rajeev Alur
- HSCC
- 2007

We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markovâ€¦Â (More)

Is this relevant?

2006

2006

- Rajeev Alur, Mikhail Bernadsky
- HSCC
- 2006

Model checking is a popular algorithmic verification technique for checking temporal requirements of mathematical models ofâ€¦Â (More)

Is this relevant?

2003

2003

- YoungWook Cha, TaeHyun Kwon, Choon Hee Kim, Jun Kyun Choi
- Human.Society@Internet 2003
- 2003

General switch management protocol (GSMP) is an open interface between a label switch and a controller, and it providesâ€¦Â (More)

Is this relevant?

2002

2002

This memo defines a portion of the Management Information Base (MIB) for the use with the network management protocols in theâ€¦Â (More)

Is this relevant?

1998

1998

- Frode B. Nilsen
- 1998

The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalismâ€¦Â (More)

Is this relevant?

1983

1983

- Peter W. Glynn
- Winter Simulation Conference
- 1983

A generalized semi-Markov process (GSMP) is a stochastic process description of a large class of discrete-event simulations. GSMPâ€¦Â (More)

Is this relevant?

Highly Cited

1980

Highly Cited

1980

- Ward Whitt
- Math. Oper. Res.
- 1980

It is shown that sequences of generalized semi-Markov processes converge in the sense of weak convergence of random functions ifâ€¦Â (More)

Is this relevant?